LARCH/CLU




<language, specification> The Larch specification language for CLU.

Used in "Abstraction and Specification in Program Development", B. Liskov & J. Guttag, MIT Press 1986.



< Previous Terms Terms Containing LARCH/CLU Next Terms >
LAPSE
laptop computer
LaQuey
Larch
Larch/C++
Large Installation Systems Administration
Larry Wall
LART
larval stage
lase