Login / Signup
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences.
Thibaut Girka
David Mentré
Yann Régis-Gianas
Published in:
ATVA (2015)
Keyphrases
</>
text generation
statistically significant
computer programs
automatic programming
natural language
structured data
theorem prover
semantic representation
control program
data sets
databases
real world
data mining
generation process
parse tree
java programs