scientific article; zbMATH DE number 1617293

zbMATH Open0966.68562MaRDI QIDQ2722018FDOQ2722018

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

Publication date: 11 July 2001

Title of this publication is not available (Why is that?)

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.

Mathematics Subject Classification ID

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

Cited In (4)

• Manipulating algebraic specifications with term-based and graph-based representations
• CASL: the Common Algebraic Specification Language.
• ASF+SDF parsing tools applied to ELAN
• Title not available (Why is that?)

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)