Formal language, grammar and set-constraint-based program analysis by abstract interpretation

Formal language, grammar and set-constraint-based program analysis by abstract interpretation
复制标题

通过抽象解释进行形式语言、语法和基于集合约束的程序分析

DOI：
10.1145/224164.224199
复制
发表时间：
1995
期刊：
ACM Trans. Program. Lang. Syst.
影响因子：
--
通讯作者：
R. Cousot
R. Cousot
中科院分区：
--
文献类型：
--
作者：
P. Cousot;R. Cousot

文献摘要

被引文献

相似文献

正式语言，语法和基于设定的计划分析通过抽象解释
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation