Linear logical approximations

Linear logical approximations
复制标题

线性逻辑近似

DOI：
--
复制
发表时间：
2009
期刊：
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
影响因子：
--
通讯作者：
F. Pfenning
F. Pfenning
中科院分区：
--
文献类型：
--
作者：
R. Simmons;F. Pfenning

文献摘要

被引文献

相似文献

程序的抽象解释将编程语言的确切语义与可以有效计算的近似语义联系起来。我们表明，通过在自下而上的线性逻辑编程语言中指定操作语义——我们称之为“子结构操作语义”（SSOS）的技术——显然，合理的程序近似可以通过逻辑程序的简单和直观的近似得到。作为示例，我们描述了如何从相关语言的子结构操作语义派生简单的别名分析、0CFA和kCFA分析。
The abstract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying operational semantics in a bottom-up, linear logic programming language -- a technique we call "substructural operational semantics" (SSOS) -- manifestly sound program approximations can be derived by simple and intuitive approximations of the logic program. As examples, we describe how to derive a simple alias analysis, 0CFA, and kCFA analysis from a substructural operational semantics of the relevant languages.