Constructing a theory of a data structure as an aid to program development

DOI10.1007/BF00264020zbMath0382.68029OpenAlexW2095035996MaRDI QIDQ1247742

K. Appert

Publication date: 1979

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00264020

zbMATH Keywords

developing programs via abstract data types

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items

Unnamed Item