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, R. de (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 (pp. pp. 101-115).

open access
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 of Behavioural, Management and Social sciences (BMS)
Research Group:
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 205425