CASL: the Common Algebraic Specification Language.

DOI10.1016/S0304-3975(01)00368-1zbMath1061.68103OpenAlexW2104169671WikidataQ57783499 ScholiaQ57783499MaRDI QIDQ1853453

Hélène Kirchner, Donald Sannella, Michel Bidoit, Bernd Krieg-Brückner, Egidio Astesiano, Peter D. Mosses, Andrzej Tarlecki

Publication date: 21 January 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00368-1

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (42)

Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Observational logic, constructor-based logic, and their duality. ⋮ Modular structural operational semantics ⋮ Constructor-Based Institutions ⋮ Building a Modal Interface Theory for Concurrency and Data ⋮ Towards Logical Frameworks in the Heterogeneous Tool Set Hets ⋮ CSP-CASL -- a new integration of process algebra and algebraic specification ⋮ Constructor-based observational logic ⋮ A formally grounded software specification method ⋮ Interpolation in Grothendieck institutions ⋮ Manipulating algebraic specifications with term-based and graph-based representations ⋮ Dynamic Logic with Binders and Its Application to the Development of Reactive Systems ⋮ Translating a Dependently-Typed Logic to First-Order Logic ⋮ Component-Based Security Policy Design with Colored Petri Nets ⋮ Herbrand theorems in arbitrary institutions ⋮ Tiling algebra for constraint-based layout editing ⋮ Image schemas and conceptual blending in diagrammatic reasoning: the case of Hasse diagrams ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Birkhoff style calculi for hybrid logics ⋮ Typed generic traversal with term rewriting strategies ⋮ Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention ⋮ Foundations for structuring behavioural specifications ⋮ Partialising institutions ⋮ From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories ⋮ CafeOBJ Traces ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ Encoding hybridized institutions into first-order logic ⋮ Amalgamation in the semantics of CASL ⋮ Structural induction in institutions ⋮ An encoding of partial algebras as total algebras ⋮ Saturated models in institutions ⋮ A logic for the stepwise development of reactive systems ⋮ Institutions for navigational logics for graphical structures ⋮ Partial pushout semantics of generics in DOL ⋮ Observational interpretation of Casl specifications ⋮ Implicit Propagation in Structural Operational Semantics ⋮ Classifying categories for partial equational logic ⋮ Behavioural specification for hierarchical object composition ⋮ Formal Modelling for Cooking Assistance ⋮ Relating CASL with other specification languages: the institution level. ⋮ Implementing Local Intervals in CASL ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

Uses Software

• CoFI
• ToolBus
• CASL
• ATERM
• OBJ3
• UniForM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• Architectural specifications in CASL
• Report on the Larch shared language
• Specifications in an arbitrary institution
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Algebraic system specification and development. A survey and annotated bibliography
• Principles of declarative programming. 10th international symposium, PLILP '98. Held jointly with the 6th international conference, ALP '98, Pisa, Italy, September 16--18, 1998. Proceedings
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Isabelle. A generic theorem prover
• Essential concepts of algebraic specification and program development
• The discrete time TOOLBUS. -- A software coordination architecture
• Relating CASL with other specification languages: the institution level.
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Institutions: abstract model theory for specification and programming

This page was built for publication: CASL: the Common Algebraic Specification Language.