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