Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types.

Anders Bondorf Olivier Danvy

Published in: Sci. Comput. Program. (1991)

Keyphrases

abstract data types
data types
object oriented databases
relational database systems
programming language
data abstraction
relational databases
databases
query language
semi automatic
real world
artificial intelligence
peer to peer
data mining techniques