论文信息 - Comparative Metric Semantics for Commit in OR-Parallel Logic Programming

Comparative Metric Semantics for Commit in OR-Parallel Logic Programming

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.

[1] David H. D. Warren,et al. Scheduling Speculative Work in Or-Parallel Prolog Systems , 1993, ICLP.

[2] J. W. de Bakker,et al. Ten Years of Concurrency Semantics; Selected Papers of the Amsterdam Concurrency Group , 1992 .

[3] Roland Karlsson,et al. A High Performance OR-parallel Prolog System , 1992 .

[4] Eiichi Horita,et al. A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality , 1992, REX Workshop.

[5] Gopal Gupta,et al. Cuts and Side-Effects in And-Or Parallel Prolog , 1996, J. Log. Program..

[6] J. W. de Bakker,et al. Comparative Semantics for Flow of Control in Logic Programming without Logic , 1991, Inf. Comput..

[7] Antonio Brogi,et al. Pruning the Search Space of Logic Programs , 1996, ELP.

[8] Pierre America,et al. Designing Equivalent Semantic Models for Process Creation , 1988, Theor. Comput. Sci..

[9] Anton Eliëns,et al. Dlp - A Language for Distributed Logic Programming: Design, Semantics and Implementation , 1992 .

[10] Steve Gregory,et al. Experiments with Speculative Parallelism in Parlog , 1993, ILPS.

[11] BolRoland,et al. The meaning of negative premises in transition system specifications , 1996 .