Examples for change of types and object structures
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 421-463
- https://doi.org/10.1007/bfb0014676
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Towards a wide spectrum language to support program specification and program developmentACM SIGPLAN Notices, 1978
- Specifying abstract data types by restrictionACM SIGSOFT Software Engineering Notes, 1978
- Stepwise specification and implementation of abstract data typesLecture Notes in Computer Science, 1978
- Proving programs correct through refinementActa Informatica, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- The Design of Data Type SpecificationsPublished by Defense Technical Information Center (DTIC) ,1976
- Abstract Data Types and Software ValidationPublished by Defense Technical Information Center (DTIC) ,1976
- A structured program to generate all topological sorting arrangementsInformation Processing Letters, 1974
- Proof of correctness of data representationsActa Informatica, 1972
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970