The Larch Family of Specification Languages

IEEE Software

Volumn 2, Issue 5, 1985, Pages 24-36

  Guttag, John V ^a   Horning, James J ^b   Wing, Jeannette M ^c  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b HEWLETT PACKARD COMPANY   (United States)

^c CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC LANGUAGES; INTERFACE LANGUAGES; LARCH SHARED LANGUAGE; LARCH SPECIFICATION LANGUAGES; TWO-TIERED SPECIFICATION;

COMPUTER INTERFACES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0022115115     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.1985.231756     Document Type: Article

References (12)

1. B. Meyer, “On Formalism in Specifications,” IEEE Software, Vol. 2, No. 1, Jan. 1985, pp. 6–26.
2. Proc. Int'l Joint Conf. Theory and Practice of Software Development, Vols. 1 and 2 from Springer-Verlag Lecture Notes in Computer Science, Nos. 185 and 186, Springer-Verlag, New York, 1985.
3. D. Sannella and A. Tarlecki, “Some Thoughts on Algebraic Specification” (to be published).
4. L. Lamport, “What It Means for a Concurrent Program To Satisfy a Specification: Why No One Has Specified Priority,” Proc. 12th ACM Symp. Princ. of Programming Languages, Jan. 1985, pp. 78–83.
5. M. Shaw, “Abstraction Techniques in Modern Programming Languages,” IEEE Software, Vol. 1, No. 4, Oct. 1984, pp. 10–26.
6. J. Guttag and J. Horning, “Formal Specification as a Design Tool,” Proc. ACM Symp. Princ. of Programming Languages, Jan. 1980, pp. 251–261.
7. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1: Equations and Initial Semantics: EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer-Verlag, New York, 1985.
8. J. Wing, A Two-Tiered Approach to Specifying Programs, PhD dissertation, Technical Report MIT/LCS/TR-299, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass., May 1983.
9. J. Guttag and B. Liskov, Abstraction andSpecification in Program Design, MIT Press/McGraw Hill (to be published).
10. E. Hehner, “Predicative Programming, Parts I and II,” Comm. ACM, Vol. 27, Feb. 1984, pp. 134–151.
11. C. Hoare, “Proof of Correctness of Data Representations,” Acta Informatica, formatica, Vol. 1, 1972, pp. 271–281.
12. V. Berzins, Abstract Model Specifications for Data Abstractions, Technical Report MIT/LCS/TR-221, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass., July 1979.