2015 | OriginalPaper | Buchkapitel
The Foundational Legacy of ASL
Autoren: Donald Sannella, Andrzej Tarlecki
Verlag: Springer International Publishing
We recall the kernel algebraic specification language ASL and outline its main features in the context of the state of research on algebraic specification at the time it was conceived in the early 1980s. We discuss the most significant new ideas in ASL and the influence they had on subsequent developments in the field and on our own work in particular.
