Observational interpretation of Casl specifications
From MaRDI portal
Publication:5458070
DOI10.1017/S0960129507006536zbMath1141.68026MaRDI QIDQ5458070
Donald Sannella, Andrzej Tarlecki, Michel Bidoit
Publication date: 10 April 2008
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items (5)
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ Property Preserving Refinement for Csp-Casl ⋮ Foundations for structuring behavioural specifications ⋮ Generic constructions for behavioral specifications ⋮ The Foundational Legacy of ASL
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Architectural specifications in CASL
- Behavioural correctness of data representations
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Specifications in an arbitrary institution
- Modular correctness proofs of behavioural implementations
- Essential concepts of algebraic specification and program development
- The definition of Extended ML: A gentle introduction
- Amalgamation in the semantics of CASL
- CASL: the Common Algebraic Specification Language.
- Behavioural and abstractor specifications
- Proof of correctness of data representations
- Institutions: abstract model theory for specification and programming
- Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
This page was built for publication: Observational interpretation of Casl specifications
