Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of LARCH

Pronunciation:  lârch

 
Matching Terms:  larcener, larcenist, larcenous, larceny, larch tree, larch/c++, larch/clu, larchen

Computing Dictionary
 
 Definition: 

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

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY