Types, Subtypes, and ASL+

An overview of the low-level specification language ASL+ is given, including a type-checking system and semantics. ASL+ is a formalism for specification and programming in-the-large, based on an arbitrary institution. Its main feature is higher-order paramterisation, allowing parameterised specifications, parameterised programs, and specifications of parameterised programs.
David Aspinall.
Types, Subtypes and ASL+.
In Recent Trends in Data Type Specification, E. Astesiano, G. Reggio and A. Tarlecki (Eds). Springer LNCS 906, 1995.
Download as gzipped ps or gzipped dvi.

Click here to return to my papers page.

my Vcard
David R. Aspinall, email david.aspinall@ed.ac.uk.
Contact GPG key (Instant HOWTO)