Safe procedural implementations of algebraic types☆
References (14)
- F.L. Bauer and H. Wössner, Algorithmic Language and Program Development (Springer, Berlin), to...
Types algébriques et sémantique des langages de programmation
A Discipline of Programming
(1976)De la spécification abstraite d'une donnée à sa représentation en mémoire: les états successifs d'une information
Actes du Congrés AFCET
(1978)- et al.
An initial algebra approach to the specification, correctness, and implementation of abstract data types
The multiple assignment statement
IEEE Trans. Software Eng.
(1978)Abstract data types and the development of data structures
Comm. ACM
(1977)
There are more references available in the full text version of this article.
Cited by (7)
Equational specification of partial higher-order algebras
1988, Theoretical Computer ScienceImplementing functional programs using mutable abstract data types
1988, Information Processing LettersAn exercise in the transformational derivation of an efficient program by joint development of control and data structure
1983, Science of Computer ProgrammingProgramming in a wide spectrum language: a collection of examples
1981, Science of Computer ProgrammingFormal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
1989, IEEE Transactions on Software EngineeringCombining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm
1982, ACM Transactions on Programming Languages and Systems (TOPLAS)
- ☆
This work was partially sponsored by the Sonderforschungsbereich 49, Programmiertechnik, Munich, Fed. Rep. Germany.
Copyright © 1980 Published by Elsevier B.V.