CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
From MaRDI portal
Publication:1422256
DOI10.1007/b11968zbMath1033.68025DBLPbooks/sp/BidoitM04OpenAlexW2492089900WikidataQ57783457 ScholiaQ57783457MaRDI QIDQ1422256
Michel Bidoit, Peter D. Mosses
Publication date: 9 February 2004
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11968
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)
Related Items (22)
My ADT Shrine ⋮ Lambda Expressions in Casl Architectural Specifications ⋮ Compositional Modelling and Reasoning in an Institution for Processes and Data ⋮ Constructor-based observational logic ⋮ A formally grounded software specification method ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Order-Sorted Parameterization and Induction ⋮ A coalgebraic approach to the semantics of the ambient calculus ⋮ Weak Bisimulation as a Congruence in MSOS ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ The Distributed Ontology, Modeling and Specification Language – DOL ⋮ On the weaving process of aspect-oriented product family algebra ⋮ Strict coherence of conditional rewriting modulo axioms ⋮ A Maude environment for CafeOBJ ⋮ Operational Termination of Membership Equational Programs: the Order-Sorted Way ⋮ CoFI with Don Sannella ⋮ Partial pushout semantics of generics in DOL ⋮ Integrating Maude into Hets ⋮ HasCasl: integrated higher-order specification and program development ⋮ Implicit Propagation in Structural Operational Semantics ⋮ The Foundational Legacy of ASL ⋮ Expander2: Program Verification Between Interaction and Automation
Uses Software
This page was built for publication: CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
