Algorithmic specifications of abstract data types
- 1 January 1981
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 129-147
- https://doi.org/10.1007/3-540-10843-2_11
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A simple class of algorithmic specifications for abstract software modulesPublished by Springer Nature ,2005
- A note on algebraic specification of binary treesACM SIGPLAN Notices, 1980
- Notes on Type Abstraction (Version 2)IEEE Transactions on Software Engineering, 1980
- Data types, abstract data types and their specification problemTheoretical Computer Science, 1979
- Mechanizing structural induction part I: Formal systemTheoretical Computer Science, 1979
- Specifications of Majster's traversable stack and Veloso's traversable stackACM SIGPLAN Notices, 1979
- Edinburgh LCFLecture Notes in Computer Science, 1979
- Existential quantifiers in abstract data typesLecture Notes in Computer Science, 1979
- The algebraic specification of abstract data typesActa Informatica, 1978
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969