The Foundational Legacy of ASL
From MaRDI portal
Publication:5256352
DOI10.1007/978-3-319-15545-6_17zbMath1454.68068OpenAlexW1790454121MaRDI QIDQ5256352
Donald Sannella, Andrzej Tarlecki
Publication date: 22 June 2015
Published in: Software, Services, and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-15545-6_17
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
- Foundations of algebraic specification and formal software development.
- Architectural specifications in CASL
- Behavioural correctness of data representations
- Structured algebraic specifications: A kernel language
- On observational equivalence and algebraic specification
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Pebble, a kernel language for modules and abstract data types
- Specifications in an arbitrary institution
- Final algebra semantics and data type extensions
- Algebraic implementation of abstract data types
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Proof systems for structured specifications with observability operators
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Behavioural and abstractor specifications
- Constructor-based observational logic
- Development graphs -- proof management for structured specifications
- Institution-independent model theory
- Data Type Specification: Parameterization and the Power of Specification Techniques
- Institutions: abstract model theory for specification and programming
- Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
- Composing Hidden Information Modules over Inclusive Institutions
- A Relatively Complete Calculus for Structured Heterogeneous Specifications
- Observational interpretation of Casl specifications
- Property-oriented semantics of structured specifications
- Horizontal Composability Revisited