Notes on type abstraction

This publication has 13 references indexed in Scilit:

• The algebraic specification of abstract data types
  Acta Informatica, 1978
• Proof rules for the programming language Euclid
  Acta Informatica, 1978
• Abstract data types and the development of data structures
  Communications of the ACM, 1977
• Report on the programming language Euclid
  ACM SIGPLAN Notices, 1977
• The verification and synthesis of data structures
  Acta Informatica, 1975
• Types are not sets
  Published by Association for Computing Machinery (ACM) ,1973
• A technique for software module specification with examples
  Communications of the ACM, 1972
• Proof of correctness of data representations
  Acta Informatica, 1972
• Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
  Published by Elsevier ,1970
• An axiomatic basis for computer programming
  Communications of the ACM, 1969