CASL: From semantics to tools

DOI10.1007/3-540-46419-0_8MaRDI QIDQ2729074zbMATH OpenFDO

Authors Till Mossakowski

Publication date 6 November 2001

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

Full work available at URL https://doi.org/10.1007/3-540-46419-0_8

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2172806
• 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: the Common Algebraic Specification Language.
• Development of parsing tools for CASL using generic language technology
• CASL reference manual. The complete documentation of the common algebraic specification language.

Cited in

(19)

• HasCasl: integrated higher-order specification and program development
• 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
• CASL: the Common Algebraic Specification Language.
• Relating CASL with other specification languages: the institution level.
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Manipulating algebraic specifications with term-based and graph-based representations
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Algebraic-coalgebraic specification in CoCASL
• Development of parsing tools for CASL using generic language technology
• Using CASL to specify the requirements and the design: A problem specific approach
• Implementing local intervals in CASL
• \textsc{HasCasl}: towards integrated specification and development of functional programs
• DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
• scientific article; zbMATH DE number 2079674 (Why is no real title available?)
• scientific article; zbMATH DE number 2079678 (Why is no real title available?)
• scientific article; zbMATH DE number 2172806 (Why is no real title available?)
• scientific article; zbMATH DE number 2086587 (Why is no real title available?)
• Recent Trends in Algebraic Development Techniques

Describes a project that uses

Uses Software

• LaTeX

This page was built for publication: CASL: From semantics to tools

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