QB64 搜索技巧 核手提箱 文字记录 海洋云增白 开源地图 Bliss AI 搜索答案 深海沉船 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 世界 PostgreSQL AI工具 证券 DirectX 防溢 DrawingPics Zulip 儿童读物 化学 连续滚动 代码审查 三菱电机 更多

抽象解释作为一种编程语言 (arxiv.org)

原文: [1309.5133] Abstract Interpretation as a Programming Language

本文探讨了将抽象解释作为一种编程语言的可能性。作者认为，高阶严格性分析的结果可以更广泛地用作格上高阶函数的不动点算子，从而为一大类抽象解释的直接实现提供了一种技术。此外，它可以被看作一种编程范式，并用于以循环风格编写程序。