CASL reference manual. The complete documentation of the common algebraic specification language.
From MaRDI portal
Publication:1881752
DOI10.1007/b96103zbMath1046.68001OpenAlexW2500166317WikidataQ57783467 ScholiaQ57783467MaRDI QIDQ1881752
No author found.
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
Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)
Related Items
Foundations of logic programming in hybrid logics with user-defined sharing ⋮ 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 ⋮ 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 ⋮ ASP, Amalgamation, and the Conceptual Blending Workflow ⋮ Building Specifications in the Event-B Institution ⋮ Generalized Theoroidal Institution Comorphisms ⋮ Property Preserving Refinement for Csp-Casl ⋮ Order-Sorted Parameterization and Induction ⋮ A coalgebraic approach to the semantics of the ambient calculus ⋮ Functorial semantics of first-order views ⋮ Crystal: Integrating structured queries into a tactic language ⋮ Partial arithmetical data types of rational numbers and their equational specification ⋮ Specifying with syntactic theory functors ⋮ Parameterisation for abstract structured specifications ⋮ Weak Bisimulation as a Congruence in MSOS ⋮ A scalable module system ⋮ What is a logic translation? ⋮ Proof-guided test selection from first-order specifications with equality ⋮ Automated flaw detection in algebraic specifications ⋮ Dependently Sorted Logic ⋮ Logic-based ontology comparison and module extraction, with an application to DL-Lite ⋮ Automating Algebraic Specifications of Non-freely Generated Data Types ⋮ On the interpretation of mathematical entities in the formalisation of programming and modelling languages ⋮ Institution-based encoding and verification of simple UML state machines in CASL/SPASS ⋮ An Institution for Imperative RSL Specifications ⋮ A computational framework for conceptual blending ⋮ Strict coherence of conditional rewriting modulo axioms ⋮ A Maude environment for CafeOBJ ⋮ On the algebra of structured specifications ⋮ Change Management for Heterogeneous Development Graphs ⋮ CoFI with Don Sannella ⋮ Partial pushout semantics of generics in DOL ⋮ Integrating Maude into Hets ⋮ HasCasl: integrated higher-order specification and program development ⋮ Semantics of multiway dataflow constraint systems ⋮ Implicit Propagation in Structural Operational Semantics ⋮ Mathematical Logic for Life Science Ontologies ⋮ An Institution for Object-Z with Inheritance and Polymorphism ⋮ Towards an Institutional Framework for Heterogeneous Formal Development in UML ⋮ Implementing Local Intervals in CASL
Uses Software
