From Specifications to Code in CASL

The status of the Common Framework Initiative (CoFI) and the Common Algebraic Specification Language (CASL) are briefly presented. One important outstanding point concerns the relationship between CASL and programming languages; making a proper connection is obviously central to the use of CASL specifications for software specification and development. Some of the issues involved in making this connection are discussed.
David Aspinall and Donald Sannella.
From Specifications to Code in CASL.
Appears in AMAST 2002.
Download as gzipped ps or pdf.

Click here to return to my papers page.

my Vcard
David R. Aspinall, email
Contact GPG key (Instant HOWTO)