This paper describes a semantic basis for a compositional approach to the analysis of logic programs. A logic program is viewed as consisting of a set of modules, each module defining a subset of the program's predicates. Analyses are constructed by considering abstract interpretations of a compositional semantics. The abstract meaning of a module corresponds to its analysis and composition of abstract meanings corresponds to composition of analyses. Such an approach is essential for large program development so that altering one module does not require re-analysis of the entire program. We claim that for a substantial class of programs, compositional analyses which are based on a notion of
本文描述了一种用于逻辑程序分析的组合方法的语义基础。逻辑程序被视为由一组模块组成,每个模块定义了程序谓词的一个子集。通过考虑组成语义的抽象解释来构建分析。模块的抽象含义对应于其分析,抽象含义的构成对应于分析的成分。这种方法对于大型程序开发至关重要,因此更改一个模块不需要重新分析整个程序。我们认为,对于大量的程序类别,基于
机译:用归纳逻辑编程分析空间构成过程-利用空间蒙太奇技术提取空间构成过程中的特殊规则-
机译:模块化程序分析的重写逻辑语义方法
机译:用于模块化编程的逻辑程序的相对超等价
机译:功能逻辑程序的模块化和通用分析服务器系统
机译:可编程LIM:在内存中的逻辑模块化和可重新配置方法
机译:逻辑门控模块化纳米囊泡可实现按需化疗的可编程药物释放
机译:模块化逻辑程序的成分分析
机译:用于逻辑和纯prolog程序的模块化终止证明