From Concrete Examples to Heap Manipulating Programs.

Published in: SAS (2013)

Keyphrases

multiresolution
data structure
computer programs
data sets
neural network
databases
fixpoint
real time
multimedia
database systems
digital libraries
data model
special case
answer sets
control program
provably correct