A Larch Shared Language Handbook

Abstract 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”. 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.