My ADT Shrine
From MaRDI portal
Publication:2890319
DOI10.1007/978-3-642-28412-0_2zbMath1314.68008OpenAlexW1466923229MaRDI QIDQ2890319
Publication date: 8 June 2012
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28412-0_2
Uses Software
Cites Work
- Algebraic and operational semantics of specifications allowing exceptions and errors
- A systematic study of models of abstract data types
- Algebraic domain equations
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- CASL reference manual. The complete documentation of the common algebraic specification language.
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- Data Types as Lattices
- Initial Algebra Semantics and Continuous Algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: My ADT Shrine