Login / Signup
Symbolic abstract data type inference.
Michael Emmi
Constantin Enea
Published in:
POPL (2016)
Keyphrases
</>
abstract data types
data types
programming language
denotational semantics
object oriented databases
data abstraction
relational database systems
relational databases
data model
knowledge base
databases
spatio temporal databases
preprocessing
general purpose
high level
relational data model
database