×

zbMATH — the first resource for mathematics

A Larch shared language handbook. (English) Zbl 0581.68008
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.

MSC:
68N01 General topics in the theory of software
68P05 Data structures
PDF BibTeX Cite
Full Text: DOI