The Foundational Legacy of ASL

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) History of computer science (68-03)

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