CASL reference manual. The complete documentation of the common algebraic specification language.

DOI10.1007/B96103MaRDI QIDQ1881752zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 15 October 2004

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

Full work available at URL https://doi.org/10.1007/b96103

Mathematics Subject Classification ID

General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• 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.
• scientific article; zbMATH DE number 1629958
• scientific article; zbMATH DE number 1324839

Cited in

(57)

• HasCasl: integrated higher-order specification and program development
• A Larch shared language handbook
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• A computational framework for conceptual blending
• CASL: the Common Algebraic Specification Language.
• What is a logic translation?
• Semantics of multiway dataflow constraint systems
• Partial arithmetical data types of rational numbers and their equational specification
• Specifying with syntactic theory functors
• Institution-based encoding and verification of simple UML state machines in CASL/SPASS
• Foundations of logic programming in hybrid logics with user-defined sharing
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
• Constructor-based observational logic
• A formally grounded software specification method
• Algebraic-coalgebraic specification in CoCASL
• Crystal: Integrating structured queries into a tactic language
• scientific article; zbMATH DE number 1617293 (Why is no real title available?)
• scientific article; zbMATH DE number 1617294 (Why is no real title available?)
• scientific article; zbMATH DE number 1629958 (Why is no real title available?)
• Implicit propagation in structural operational semantics
• Implementing local intervals in CASL
• My ADT shrine
• Casl-Mdl, modelling dynamic systems with a formal foundation and a UML-like notation
• Lambda expressions in Casl architectural specifications
• A proof theoretic interpretation of model theoretic hiding
• Compositional modelling and reasoning in an institution for processes and data
• Weak bisimulation as a congruence in MSOS
• Change management for heterogeneous development graphs
• Integrating Maude into Hets
• Generalized Theoroidal Institution Comorphisms
• Property Preserving Refinement for Csp-Casl
• Order-Sorted Parameterization and Induction
• Functorial semantics of first-order views
• ASP, amalgamation, and the conceptual blending workflow
• Dependently Sorted Logic
• Automating Algebraic Specifications of Non-freely Generated Data Types
• On the interpretation of mathematical entities in the formalisation of programming and modelling languages
• Mathematical Logic for Life Science Ontologies
• Parameterisation for abstract structured specifications
• A scalable module system
• scientific article; zbMATH DE number 194178 (Why is no real title available?)
• scientific article; zbMATH DE number 517385 (Why is no real title available?)
• Building Specifications in the Event-B Institution
• A Maude environment for CafeOBJ
• An institution for Object-Z with inheritance and polymorphism
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• An Institution for Imperative RSL Specifications
• On the algebra of structured specifications
• Proof-guided test selection from first-order specifications with equality
• Automated flaw detection in algebraic specifications
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• An institutional approach to communicating UML state machines
• Building correct-by-construction systems with formal patterns
• Strict coherence of conditional rewriting modulo axioms
• CoFI with Don Sannella
• Partial pushout semantics of generics in DOL
• A coalgebraic approach to the semantics of the ambient calculus

Describes a project that uses

Uses Software

• CoFI
• CASL

This page was built for publication: CASL reference manual. The complete documentation of the common algebraic specification language.

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