Skip to main content

The Concurrent Logic Programming Language CP: Definition and Operational Semantics

Vijay A. Saraswat

DOI 10.1145/41625.41630 dblp BibTeX

Abstract

In this paper we present some of the control constructs of the language CP, which is based on a concurrent interpretation of Horn logic programming. We present a formal structural operational semantics and relate the meaning of programs in this language to the underlying (pure) Horn clause axioms.

Related papers

Intrinsically-typed definitional interpreters for linear, session-typed languages CPP 2020
Extracting total Amb programs from proofs ESOP 2022
Concurrent Transition System Semantics of Process Networks POPL 1987
A separation logic for refining concurrent objects POPL 2011
Suspension Analyses for Concurrent Logic Programs TOPLAS 1994
M-Lisp: A Representation-Independent Dialect of Lisp with Reduction Semantics TOPLAS 1992
An unfold/fold transformation framework for definite logic programs TOPLAS 2004
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs TOPLAS 1993