C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
From MinX to MinC: semantics-driven decompilation of recursive datatypes.
Edward Robbins
Andy King
Tom Schrijvers
Published in:
POPL (2016)
Keyphrases
</>
data types
data structure
database systems
data model
data driven
user defined
database management systems
semantic information
logical language
conceptual model
logic programming
conceptual graphs
formal semantics
genetic algorithm
information retrieval
knowledge base
recursive algorithm
recursive queries