On the Semantics of Atomized Statements - the Parallel-Choice Option (Extended Abstract)
Peter M. W. Knijnenburg, Joost N. Kok · 1991
Several semantics are given for a language L that has as its main feature so-called atomizing brackets: if we place these brackets around a statement then we treat this statement as an atomic action. We point out that there are several options for giving semantics and we choose (inspired by concurrent logic languages) one option (the socalled parallel-choice option). We provide the operational intuition with a transition system for this language from which we derive operational semantics. The main results of this paper are two compositional semantics for L based on sequences of actions that are able to model deadlock and divergence, respectively. We have that the denotational semantics for the deadlock behavior is correct w.r.t. the operational semantics. 1 Introduction In this paper we study the semantics of a programming language that has as operational features 1. A unary operator h\\Deltai, called atomizer, that turns its argument into its atomic version. In the prese...