Accession Number : ADA136117

Title :   Preliminary Report on the Larch Shared Language.

Descriptive Note : Interim research rept.,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE

Personal Author(s) : Guttag,J V ; Horning,J J

PDF Url : ADA136117

Report Date : Oct 1983

Pagination or Media Count : 59

Abstract : 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)

Descriptors :   *Programming languages, Algebra, Specifications, Interfaces, User manuals, Handbooks, Kernel functions, Semantics, Syntax, Boolean algebra

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE