From specifications to code in Casl

Abstract. 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.