Comparative Metric Semantics for Commit in Or-Parallel Logic Programming

Worring, M. and Verster, F. and Todoran, L. and Wielinga, B.J. and Anjewierden, A.A. and Kabel, S.C. and Hoog de, R. (1997) Comparative Metric Semantics for Commit in Or-Parallel Logic Programming. In: International Symposium on Logic Programming, ILPS 1997, October 13-17, 1997, Long Island, New York.

Preview

PDF
196Kb

Abstract:	For the control flow kernel of or-parallel Prolog with commit an operational and a denotational model are constructed and related using techniques from metric semantics. By maintaining explicit scope information a compositional handling of the commit for the denotational model is established. By application of an abstraction function, which deletes this extra information the operational semantics is recovered.
Item Type:	Conference or Workshop Item
Copyright:	© 1997 The MIT Press
Faculty:	Behavioural Sciences (BS)
Research Group:	Instructional Technology (IST)
Link to this item:	http://purl.utwente.nl/publications/56232
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 205425