The Community for Technology Leaders
Green Image
Issue No. 05 - September/October (1985 vol. 2)
ISSN: 0740-7459
pp: 24-36
J.V. Guttag , 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.
INDEX TERMS
null
CITATION

J. Guttag, J. Wing and J. Horning, "The Larch Family of Specification Languages," in IEEE Software, vol. 2, no. , pp. 24-36, 1985.
doi:10.1109/MS.1985.231756
86 ms
(Ver 3.3 (11022016))