The foundational legacy of ASL

Donald Sannella, Andrzej Tarlecki

Research output: Chapter in Book/Report/Conference proceedingChapter


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.
Original languageEnglish
Title of host publicationSoftware, Services and Systems:
Subtitle of host publicationEssays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
PublisherSpringer International Publishing
Number of pages20
ISBN (Electronic)978-3-319-15545-6
ISBN (Print)978-3-319-15544-9
Publication statusPublished - 2015

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'The foundational legacy of ASL'. Together they form a unique fingerprint.

Cite this