Report on the Larch shared language (Q1067767)

Each member of the Larch family of formal specification languages has a component derived from a programming language and another component common to all programming languages. We call the former interface languages, and the latter the Larch Shared Language. This paper presents version 1.1 of the Larch Shared Language. It has two major sections. The first part starts with a brief introduction to the Larch Project and the Larch family of languages, and continues with an informal presentation of most of the features of the Larch Shared Language. It concludes with a brief discussion of how we expect Larch Shared Language Specifications to be used, a discussion of some of the more important design decisions, and a summary of the current status of the Larch project. The second part of this paper is a reference manual. A companion paper includes an extensive set of examples.