Report on the Larch shared language

DOI10.1016/0167-6423(86)90021-3MaRDI QIDQ1067767zbMATH OpenOpenAlexFDO

Authors John Guttag, J. J. Horning

Publication date 1986

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(86)90021-3

zbMATH Keywords

formal specification languagesLarch family of languagesLarch ProjectLarch Shared Language

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05)

Review text

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.

Recommendations

• A Larch shared language handbook
• Lamination languages
• scientific article; zbMATH DE number 3961011
• scientific article; zbMATH DE number 3862470
• scientific article; zbMATH DE number 3264077
• Revised report on the algorithmic language scheme

Cited in

(15)

• A Larch shared language handbook
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Specifications in an arbitrary institution
• Complexity analysis of term-rewriting systems
• Gordon's computer: A hardware verification case study in OBJ3
• An overview of the Tecton proof system
• CASL: the Common Algebraic Specification Language.
• Relating CASL with other specification languages: the institution level.
• Compatibility problems in the development of algebraic module specifications
• scientific article; zbMATH DE number 4153905 (Why is no real title available?)
• Writing Larch interface language specifications
• scientific article; zbMATH DE number 1303987 (Why is no real title available?)
• scientific article; zbMATH DE number 517385 (Why is no real title available?)
• Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
• A set-theoretic semantics for Clear

This page was built for publication: Report on the Larch shared language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1067767)