Comparative Metric Semantics for Commit in Or-Parallel Logic Programming


Share/Save/Bookmark

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
[img]
Preview
PDF
201kB
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:
Link to this item:http://purl.utwente.nl/publications/56232
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 205425