Fully abstract denotational semantics for Flat Concurrent Prolog.

Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Shapiro

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

24 Scopus citations

Abstract

A denotational, hence, compositional semantics for a a subset of concurrent Prolog is developed and related to an operational semantics. The denotational semantics makes divergence and the resultant substitutions of finite computations together with the termination mode--success, failure, or deadlock--observable. Relative to this notion of observation it is proved that the denotational semantics is fully abstract in the sense that it records the minimal amount of extra information beyond the observables to make it compositional. Full abstraction is an important property because it quantifies the information that one needs in order to reason about individual program-parts independently. This is believed to be the first such result in the area of concurrent logic programming.

Original languageEnglish
Title of host publicationProc Third Annu Symp on Logic in Comput Sci
PublisherPubl by IEEE
Pages320-335
Number of pages16
ISBN (Print)0818608536
StatePublished - 1 Dec 1988
Externally publishedYes

Publication series

NameProc Third Annu Symp on Logic in Comput Sci

ASJC Scopus subject areas

  • Engineering (all)

Fingerprint

Dive into the research topics of 'Fully abstract denotational semantics for Flat Concurrent Prolog.'. Together they form a unique fingerprint.

Cite this