The foundational legacy of ASL

Donald Sannella, Andrzej Tarlecki

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

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
Pages253-272
Number of pages20
ISBN (Electronic)978-3-319-15545-6
ISBN (Print)978-3-319-15544-9
DOIs
Publication statusPublished - 2015

Publication series

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

Fingerprint

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

Cite this