From Specifications to Code in Casl

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationAlgebraic Methodology and Software Technology
Subtitle of host publication9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
EditorsHélène Kirchner, Christophe Ringeissen
PublisherSpringer Berlin Heidelberg
Number of pages14
ISBN (Electronic)978-3-540-45719-0
ISBN (Print)978-3-540-44144-1
Publication statusPublished - 2002

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg


Dive into the research topics of 'From Specifications to Code in Casl'. Together they form a unique fingerprint.

Cite this