|n.||1.||(Bot.) A genus of coniferous trees, having deciduous leaves, in fascicles (see Illust. of Fascicle).|
|Noun||1.||larch - wood of a larch tree|
|2.||larch - any of numerous conifers of the genus Larix all having deciduous needlelike leaves|
Synonyms: larch tree
|Larch - The Larch Project develops aids for formal specifications.
Each Larch specification has two components: an interface
containing predicates written in the LIL (Larch Interface Language) designed for the target language and a 'trait'
containing assertions about the predicates written in LSL,
the Larch Shared Language common to all.|
["The Larch Family of Specification Languages", J. Guttag et al, IEEE Trans Soft Eng 2(5):24-365 (Sep 1985)].