The larch shared language: Some open problems
The Larch Shared Language for the specification of abstract data types has evolved over a number of years from a simple algebraic language to one that is both more complicated and more useful. This talk reviews some of its major design decisions and then discusses some of the design issues and remaining open problems—most of which are consequences of the same decisions that contribute to LSL's good properties.
KeywordsProgramming Language Digital Equipment Corporation Interface Specification Conservative Extension Init File
Unable to display preview. Download preview PDF.
- 1.Cardelli, Luca: An Implementation of f<:. Digital Equipment Corporation, Systems Research Center, Palo Alto, Report 97, 1993.Google Scholar
- 2.Guttag, John V.: The Specification and Application to Programming of Abstract Data Types. Ph.D. Thesis, Department of Computer Science, University of Toronto, 1975.Google Scholar
- 3.Guttag, John V., Horning, James J., with Garland, S J., Jones, K.D., Modet, A., Wing, J.M.: Larch: Languages and Tools for Formal Specification. Springer-Verlag Texts and Monographs in Computer Science, ISBN 0-387-94006-5, ISBN 3-540-94006-5, 1993.Google Scholar
- 4.Guttag, John V., Horning, James J., Modet, Andrés: Report on the Larch Shared Language: Version 2.3. Digital Equipment Corporation, Systems Research Center, Palo Alto, Report 58, 1990.Google Scholar
- 5.Larch Home Page. URL:http://reality.sgi.com/horning/larch-home.html.Google Scholar
- 6.An LSL Handbook. Appendix A in ; URL: http://reality.sgi.com/horning/toc.html.Google Scholar