Synthesis of machine code from semantics.

Venkatesh Srinivasan Thomas W. Reps

Published in: PLDI (2015)

Keyphrases

formal semantics
source code
logic programming
program synthesis
real time
batch processing
data sets
artificial intelligence
data flow
control flow
argumentation semantics
deductive databases
specification language
error correcting