Extending CASL by late binding

MaRDI QIDQ2722015zbMATH OpenFDO

Authors Davide Ancona, Maura Cerioli, Elena Zucca

Publication date 11 July 2001

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• scientific article; zbMATH DE number 2172806
• State-based extension of CASL
• Relating CASL with other specification languages: the institution level.
• Amalgamation in CASL via enriched signatures

Cited in

(1)

• Relating CASL with other specification languages: the institution level.

This page was built for publication: Extending CASL by late binding

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2722015)