From Specifications to Code in CASL

@inproceedings{Aspinall2002FromST,
  title={From Specifications to Code in CASL},
  author={David Aspinall and Donald Sannella},
  booktitle={AMAST},
  year={2002}
}
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. 
BETA