Development of parsing tools for CASL using generic language technology

DOI10.1007/978-3-540-44616-3_6MaRDI QIDQ2722018zbMATH OpenFDO

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

Publication date 11 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-44616-3_6

Mathematics Subject Classification ID

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

Recommendations

• CASL: From semantics to tools
• 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)

• CASL: the Common Algebraic Specification Language.
• Manipulating algebraic specifications with term-based and graph-based representations
• ASF+SDF parsing tools applied to ELAN
• CASL: From semantics to tools

Describes a project that uses

Uses Software

• CASL
• ATERM
• ELAN
• ASF+SDF

This page was built for publication: Development of parsing tools for CASL using generic language technology

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