The foundational legacy of ASL
From MaRDI portal
Publication:5256352
DOI10.1007/978-3-319-15545-6_17zbMATH Open1454.68068OpenAlexW1790454121MaRDI QIDQ5256352FDOQ5256352
Authors: 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
Recommendations
Cites Work
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- On observational equivalence and algebraic specification
- Foundations of algebraic specification and formal software development.
- Behavioural and abstractor specifications
- Observational interpretation of Casl specifications
- Title not available (Why is that?)
- Composing hidden information modules over inclusive institutions
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Specifications in an arbitrary institution
- Title not available (Why is that?)
- Development graphs -- proof management for structured specifications
- Title not available (Why is that?)
- Constructor-based observational logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generalized interpolation in first order logic
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Structured algebraic specifications: A kernel language
- Title not available (Why is that?)
- Data Type Specification: Parameterization and the Power of Specification Techniques
- Horizontal Composability Revisited
- Proof systems for structured specifications with observability operators
- Final algebra semantics and data type extensions
- Title not available (Why is that?)
- Behavioural correctness of data representations
- Algebraic implementation of abstract data types
- Architectural specifications in CASL
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Title not available (Why is that?)
- Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
- Title not available (Why is that?)
- Pebble, a kernel language for modules and abstract data types
- A Relatively Complete Calculus for Structured Heterogeneous Specifications
- Title not available (Why is that?)
- Some nuances of many-sorted universal algebra: a review
- Property-oriented semantics of structured specifications
Cited In (4)
This page was built for publication: The foundational legacy of ASL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256352)
