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.

Last updated: 1996-01-02

Nearby terms:

Larch/C++ ♦ LARCH/CLU ♦ Large Installation Systems Administration

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading