Disjunctive Program Analysis for Algebraic Data Types.

Thomas P. Jensen

Published in: ACM Trans. Program. Lang. Syst. (1997)

Keyphrases

data types
data structure
data model
database systems
user defined
database management systems
back end
database server
abstract data types
data manipulation language
databases
data formats
data mining techniques
data mining algorithms
datalog programs
application programs