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