Advertisement

The larch shared language: Some open problems

  • James J. Horning
Invited Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1130)

Abstract

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.

Keywords

Programming Language Digital Equipment Corporation Interface Specification Conservative Extension Init File 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Cardelli, Luca: An Implementation of f<:. Digital Equipment Corporation, Systems Research Center, Palo Alto, Report 97, 1993.Google Scholar
  2. 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. 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. 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. 5.
    Larch Home Page. URL:http://reality.sgi.com/horning/larch-home.html.Google Scholar
  6. 6.
    An LSL Handbook. Appendix A in [3]; URL: http://reality.sgi.com/horning/toc.html.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • James J. Horning
    • 1
  1. 1.Systems Research CenterDigital Equipment CorporationPalo AltoUSA

Personalised recommendations