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)].

(03 Feb 2009)

L-arabinose dehydrogenase, laramie group, larbish, larboard < Prev | Next > larch, Larch/C++, LARCH/CLU

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums

<botany> A genus of coniferous trees, having deciduous leaves, in fascicles.

The European larch is Larix Europaea. The American or black larch is L. Americana, the hackmatack or tamarack. The trees are generally of a drooping, graceful appearance.

Origin: Cf. OE. Larege (Cotgrave), It.larice, Sp. Larice, alerce, G. Larche; all fr. L. Larix, -icis, Gr.

(01 Mar 1998)

laramie group, larbish, larboard, Larch < Prev | Next > Larch/C++, LARCH/CLU, larch turpentine

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums