A Compositional Semantics for Normal Open Programs

Sandro Etalle, Frank Teusink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Downloads (Pure)

    Abstract

    In this paper we propose a semantics for first order modular (open) programs. Modular programs are built as a combination of separate modules, which may evolve separately, and be verified separately. Therefore, in order to reason over such programs, compositionality plays a crucial role: the semantics of the whole program must be obtainable as a simple function from the semantics of its individual modules. In this paper we propose such a compositional semantics for first-order programs. This semantics is correct with respect to the set of logical consequences of the program. Moreoverr, - in contrast with other approaches - it is always computable. Furthermore, we show how our results on firs-order programs may be applied in a straightforward way to normal logic programs, in which case our semantics might be regarded as a compositional counterpart of Kunen's semantics. Finally we discuss and show how these results hav to be modified in order to be applied to normal CLP.
    Original languageEnglish
    Title of host publicationLogic Programming
    Subtitle of host publicationProceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996
    EditorsMichael Maher
    PublisherMIT Press
    Pages468-482
    Number of pages15
    ISBN (Electronic)9780262291309
    ISBN (Print)0-262-63173-3
    Publication statusPublished - 1996
    Event13th Joint International Conference and Symposium on Logic Programming, JICSLP 1996 - Bonn, Germany
    Duration: 2 Sep 19966 Sep 1996
    Conference number: 13

    Conference

    Conference13th Joint International Conference and Symposium on Logic Programming, JICSLP 1996
    Abbreviated titleJICSLP
    CountryGermany
    CityBonn
    Period2/09/966/09/96

    Fingerprint Dive into the research topics of 'A Compositional Semantics for Normal Open Programs'. Together they form a unique fingerprint.

    Cite this