Login / Signup

On Proving Inductive Properties of Abstract Data Types.

David R. Musser
Published in: POPL (1980)
Keyphrases
  • abstract data types
  • data types
  • programming language
  • object oriented databases
  • machine learning
  • website
  • object oriented
  • relational database systems
  • data abstraction