The Foundational Legacy of ASL

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.

• Type: Journal
• Year: 2015
• Where: BIRTHDAY
• Authors: Donald Sannella, Andrzej Tarlecki
• Keywords: Applied Computing, BIRTHDAY 2015