Synthesis from Formal Partial Abstractions.

Published in: CoRR (2014)

Keyphrases

data sets
high level
program synthesis
formal model
formal analysis
information retrieval
real time
databases
e learning
knowledge base
image segmentation
heuristic search
formal models
formal language
functional programs