C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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