Title :
The Larch Family of Specification Languages
Author :
Guttag, John V. ; Horning, James J. ; Wing, Jeannette M.
Author_Institution :
Massachusetts Institute of Technology
Abstract :
Larch specifications are two-tiered. Each one has a component written in an algebraic language and another tailored to a programming language.
Keywords :
Computer languages; Formal specifications; Programming profession; Specification languages;
Journal_Title :
Software, IEEE
DOI :
10.1109/MS.1985.231756
