A Compositional Semantics for Normal Open Programs

Etalle, Sandro and Teusink, Frank (1996) A Compositional Semantics for Normal Open Programs. In: Joint International Conference and Symposium on Logic Programming, JICSLP 1996, September 2-6, 1996, Bonn, Germany.

Preview

PDF
286Kb

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.
Item Type:	Conference or Workshop Item
Copyright:	© 1996 MIT Press
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:	http://purl.utwente.nl/publications/56237
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page