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.V. Guttag, J.M. Wing, J.J. Horning, "The Larch Family of Specification Languages", IEEE Software, vol. 2, no. , pp. 24-36, September/October 1985, doi:10.1109/MS.1985.231756
342 ms
(Ver )