LARCH/CLU

LARCH/CLU

(language, specification)The Larch specification languagefor CLU. Used in "Abstraction and Specification in ProgramDevelopment", B. Liskov & J. Guttag, MIT Press 1986.