Report on the Larch shared language

DOI10.1016/0167-6423(86)90021-3zbMath0581.68007OpenAlexW1991364185MaRDI QIDQ1067767

J. J. Horning, J. V. Guttag

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

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

Related Items

Gordon's computer: A hardware verification case study in OBJ3, Toward formal development of programs from algebraic specifications: Implementations revisited, An overview of the Tecton proof system, Compatibility problems in the development of algebraic module specifications, Specifications in an arbitrary institution, Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives, Complexity analysis of term-rewriting systems, Unnamed Item, A set-theoretic semantics for Clear, CASL: the Common Algebraic Specification Language., Relating CASL with other specification languages: the institution level.