Preliminary Report on the Larch Shared Language.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1983
Accession Number
ADA136117

Entities

People

  • J. J. Horning
  • J. V. Guttag

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Application Software
  • Boundaries
  • Calculus
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Generators
  • Information Processing
  • Language
  • Massachusetts
  • Observers
  • Programming Languages
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Business Analytics
  • Computational Linguistics