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.
CITATION STYLE
Horning, J. J. (1996). The larch shared language: Some open problems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1130, pp. 58–73). Springer Verlag. https://doi.org/10.1007/3-540-61629-2_36
Mendeley helps you to discover research relevant for your work.