论文提出用指称解释器统一动态语义与静态分析，通过记录程序执行轨迹同时支持求值和分析，可切换急切或惰性求值，并生成类型检查、变量使用分析等。共享结构简化了可靠性证明，尤其利于惰性求值，从而提升效率与可扩展性，有助于构建兼具优化和查错的编译器工具。

论文提出“抽象指称解释器”统一框架，将动态语义与静态分析结合。通过构建程序执行轨迹，同一基础既能模拟按值、按需求值等求值方式，又能生成类型检查、变量使用分析等静态分析。该方法提升灵活性、可扩展性，简化可靠性证明，尤其利于惰性求值，有助于编译器与静态分析工具开发。

本文综述词嵌入与上下文表示研究进展，涵盖对比学习优化概念嵌入、无监督词汇替换、上下文嵌入维度解释、动态语义数据集WiC、知识蒸馏文本嵌入、动态词向量、词汇简化、跨语言词义消歧及XL-WiC基准，表明上下文方法显著优于传统静态嵌入。