From Specifications to Code in Casl

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

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.
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
Pages1-14
Number of pages14
Volume2422
ISBN (Electronic)978-3-540-45719-0
ISBN (Print)978-3-540-44144-1
DOIs
Publication statusPublished - 2002

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume2422

Fingerprint

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

Cite this