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)

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

(14)

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

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)