scientific article; zbMATH DE number 1617293

MaRDI QIDQ2722018zbMATH OpenFDO

Authors Jeroen Scheerder, M. G. J. van den Brand

Publication date 11 July 2001

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1629958
• scientific article; zbMATH DE number 2172806
• CASL: the Common Algebraic Specification Language.
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• CASL reference manual. The complete documentation of the common algebraic specification language.

Cited in

(4)

• ASF+SDF parsing tools applied to ELAN
• scientific article; zbMATH DE number 1629958 (Why is no real title available?)
• Manipulating algebraic specifications with term-based and graph-based representations
• CASL: the Common Algebraic Specification Language.

Describes a project that uses

Uses Software

• ELAN
• CASL
• ATERM
• ASF+SDF

This page was built for publication:

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