The larch shared language: Some open problems [chapter]

James J. Horning
1996 Lecture Notes in Computer Science  
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. Major Decisions in the Design of LSL Before discussing LSL's open problems, I will
more » ... iew some key design decisions that made the language what it is today, 3 since they tend to constrain the space of possible ?
doi:10.1007/3-540-61629-2_36 fatcat:smf4xudkpngptghs6ikoqdafe4