A Larch shared language handbook

From MaRDI portal

Revision as of 23:58, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1067768

Jump to:navigation, search

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

specifications Larch Shared Language

Mathematics Subject Classification ID

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

Related Items (6)

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

This page was built for publication: A Larch shared language handbook

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1067768&oldid=13082798"