A Larch shared language handbook

DOI10.1016/0167-6423(86)90022-5MaRDI QIDQ1067768zbMATH OpenOpenAlexFDO

Authors John Guttag, J. J. Horning

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

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

Recommendations

• Report on the Larch shared language
• scientific article; zbMATH DE number 517385
• scientific article; zbMATH DE number 1368954
• Writing Larch interface language specifications
• CASL reference manual. The complete documentation of the common algebraic specification language.

Cited in

(8)

• Algebraic specification of modules and their basic interconnections
• Complexity analysis of term-rewriting systems
• Design strategies for rewrite rules
• scientific article; zbMATH DE number 517385 (Why is no real title available?)
• Extending Bachmair's method for proof by consistency to the final algebra
• An overview of LP, the Larch Prover
• Report on the Larch shared language
• Partial functions and logics: A warning

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1067768)