Abstract This paper presents a formal semantics of a language, called Orc, which is described in a companion paper in this volume. There are many styles of presentation of programming language semantics. The more operational styles give more concrete guidance to the implementer on how a program should be executed. The more abstract styles are more helpful in proving the correctness of particular programs. The style adopted in this paper is neutral between implementer and programmer. Its main achievement is to permit simple proofs of familiar algebraic identities that hold between programs with different syntactic forms. 1
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.