Algorithmic specifications: a constructive specification method for abstract data types

DOI10.1145/29873.30399zbMath0631.68020OpenAlexW1983043931MaRDI QIDQ3768378

Jacques Loeckx

Publication date: 1987

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1987-9/

zbMATH Keywords

algebraic specificationspecification languageconstructive specification

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (7)

The verification of modules ⋮ First order data types and first order logic ⋮ A first order logic for partial functions ⋮ Termination of algorithms over non-freely generated data types ⋮ Data types with errors and exceptions ⋮ A first order logic for partial functions ⋮ OBSCURE, a specification language for abstract data types

This page was built for publication: Algorithmic specifications: a constructive specification method for abstract data types