Report on the Larch shared language
From MaRDI portal
Publication:1067767
DOI10.1016/0167-6423(86)90021-3zbMath0581.68007MaRDI QIDQ1067767
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
Related Items
A set-theoretic semantics for Clear, 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, Unnamed Item