Preliminary Report on the Larch Shared Language.

摘要

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. The authors call the former interface languages, and the latter the Larch Shared Language. This report presents version 1.0 of the Larch Shared Language. It begins with a brief introduction to the Larch Project and the Larch family of languages. The next chapter presents most of the features of the Larch Shared Language and briefly discusses how we expect these features to be used. It should be read before reading either of the remaining two chapters, which are a self-contained reference manual and a set of examples. (Author)