Preliminary Report on the Larch Shared Language.

reportActive / Technical Report | Accession Number: ADA136117 | Open PDF

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

Author(s):
Guttag, J. V. ; Horning, J. J.
Author Organization(s):
MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE
Descriptive Note:
Interim research rept.,
Pagination:
0059

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
MIT/LCS/TR-307
Contract/Grant Number(s):
N00014-75-C-0661, NSF-MCS81-19846
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_5.3_Planning; JCA_1_Force Support; JCA_1.3_Human Capital Management; JCA_1.3.2_Personnel Management; JCA_1.2_Force Preparation; JCA_6.1_Information Transport; JCA_6_Net Centric
Communities of Interest:
C4I
Descriptor(s):
*Programming languages, Algebra, Specifications, Interfaces, User manuals, Handbooks, Kernel functions, Semantics, Syntax, Boolean algebra
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
Larch shared programming language
Report Date:
1983 Oct 01