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

An interface specification language which can be used to formally specify C++ program modules.

(03 Feb 2009)

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

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

<programming language>

<specification> The Larch specification language for CLU. Used in "Abstraction and Specification in Program Development", B. Liskov & J. Guttag, MIT Press 1986.

(01 Feb 1996)

larboard, Larch, larch, Larch/C++ < Prev | Next > larch turpentine, lard, lardacein

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

larch turpentinemedical dictionary

You have spelt this word correctly and it exists in the medical dictionary, but we have no definition for it yet. Please do suggest it for inclusion, or supply a suitable definition via the community pages.

Larch, larch, Larch/C++, LARCH/CLU < Prev | Next > lard, lardacein, lardaceous

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