The Synthesis of Implementations for Abstract Data Types

Publisher Website

1 January 1983

book chapter
Published by Springer Nature

p. 309-334
https://doi.org/10.1007/978-94-009-7019-9_9

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Can programming be liberated from the von Neumann style?
Communications of the ACM, 1978
The algebraic specification of abstract data types
Acta Informatica, 1978
A Transformation System for Developing Recursive Programs
Journal of the ACM, 1977
Proof of correctness of data representations
Acta Informatica, 1972