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

Larch Shared Languagespecifications

Mathematics Subject Classification ID

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

Review text

This handbook consists of a collection of traits written in the Larch Shared Language, and is intended as a companion to the Report on the Larch Shared Language [see the preceding review]. It should serve three distinct purposes: provide a set of components that can be directly incorporated into other specifications; provide a set of models upon which other specifications can be based; and help people to better understand the Larch Shared Language by providing a set of illustrative examples.

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)

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