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