An Improved Unrolling-Based Decision Procedure for Algebraic Data Types.

Tuan-Hung Pham Michael W. Whalen

Published in: VSTTE (2013)

Keyphrases

data types
data model
database systems
data structure
user defined
database management systems
decision making
database server
database objects
back end
neural network
data manipulation language
real world
information retrieval
website
data formats