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.
Click here to return to my papers page.