Data type specification
From MaRDI portal
Publication:5402549
DOI10.1145/800133.804340zbMath1282.68170OpenAlexW2054164849MaRDI QIDQ5402549
James W. Thatcher, Jesse B. Wright, Eric G. Wagner
Publication date: 14 March 2014
Published in: Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/800133.804340
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05)
Related Items (12)
A second order theory of data types ⋮ Order-Sorted Parameterization and Induction ⋮ About the implementability and the power of equationally defined data abstractions ⋮ Complexity of algebraic implementations for abstract data types ⋮ Algebraic implementation of abstract data types ⋮ Data types with errors and exceptions ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ Small specifications for large finite data structures ⋮ A view of computability on term algebras ⋮ Algebraic domain equations ⋮ Parameter passing in algebraic specification languages ⋮ A constructive method for abstract algebraic software specification
This page was built for publication: Data type specification
