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