Compositional analysis of modular logic programs

Michael Codish, Saumya K. Debray, Roberto Giacobazzi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

36 Scopus citations

Abstract

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 abstract unfolding provide the same precision as non-compositional analysis. A compositional analysis for ground dependencies is included to illustrate the approach. To the best of our knowledge this is the first account of a compositional framework for the analysis of logic programs.

Original languageEnglish (US)
Title of host publicationConference Record of the Annual ACM Symposium on Principles of Programming Languages
PublisherPubl by ACM
Pages451-464
Number of pages14
ISBN (Print)0897915607, 9780897915601
DOIs
StatePublished - Jan 1 1993
Externally publishedYes
Event20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Charleston, SC, USA
Duration: Jan 10 1993Jan 13 1993

Publication series

NameConference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)0730-8566

Other

Other20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
CityCharleston, SC, USA
Period1/10/931/13/93

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Compositional analysis of modular logic programs'. Together they form a unique fingerprint.

  • Cite this

    Codish, M., Debray, S. K., & Giacobazzi, R. (1993). Compositional analysis of modular logic programs. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages (pp. 451-464). (Conference Record of the Annual ACM Symposium on Principles of Programming Languages). Publ by ACM. https://doi.org/10.1145/158511.158703