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