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 (11)

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.

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