A Larch shared language handbook

DOI10.1016/0167-6423(86)90022-5zbMath0581.68008OpenAlexW1979918725MaRDI QIDQ1067768

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)90022-5

zbMATH Keywords

specificationsLarch Shared Language

Mathematics Subject Classification ID

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

Related Items

Design strategies for rewrite rules, Extending Bachmair's method for proof by consistency to the final algebra, Algebraic specification of modules and their basic interconnections, An overview of LP, the Larch Prover, Partial functions and logics: A warning, Complexity analysis of term-rewriting systems