scholar.google.com › citations
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 ...
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 ...
This paper describes a semantic basis for a composi- tional approach to the analysis of logic programs. A logic program is viewed as consisting of a set of ...
This paper describes a semantic basis for a composi- tional approach to the analysis of logic programs. A logic program is viewed aa consisting.
[PDF] Compositional analysis of modular logic programs | Semantic ...
www.semanticscholar.org › paper
It is claimed that for a substantial class of programs, compositional analyses which are based on a notion of abstract unfolding provide the same precision ...
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 ...
This paper considers open logic programs originally introduced as a tool to build an OR-composi- tional semantics of logic programs.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...
In fact, compositionality enables one to reason about the logic module in isolation, while the reference to knowledge provided by other modules is maintained ...
Nov 6, 2018 · Michael Codish, Saumya K. Debray, Roberto Giacobazzi: Compositional Analysis of Modular Logic Programs. POPL 1993: 451-464.