« [ Back to Home ] »
<< Return to Computer Dictionary Home

Your browser does not support inline frames or is currently configured not to display inline frames.

Computer Dictionary Online

A to Z Computer Terms Dictionary, Definitions Search

| 0-9 | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q |
| R | S | T | U | V | W | X | Y | Z |

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

Nearby terms: LAPSE « laptop computer « LaQuey « Larch » Larch/C++ » LARCH/CLU » Large Installation Systems Administration

<< Return to Computer Dictionary Home Page

computer dictionary, computer terms dictionary, online computer dictionary, computer definition dictionary online, microsoft computer dictionary fifth edition, computer lingo dictionary, computer terminology dictionary, computer computer dictionary dictionary internet internet terms terms, barrons business computer dictionary dictionary internet terms, abbreviation computer dictionary lingo, computer dictionary edition new tenth websters world, computer dictionary with terms and definition, computer science dictionary, american computer dictionary house language random sign websters, dictionary computer internet terms, microsoft computer dictionary, computing dictionary

[ Home ] [ Law Dictionary ] [ Financial Dictionary ] [ Medical Dictionary ] [ Computer Dictionary ]

Hot Links : Electronic Tutorials , Information Encyclopedia Directory , Science Projects , Indian Food Recipes , Hot Game Cheater , Love & Romance Attachments , Krrish Game for PC

Best Online Dictionary .com