Revisiting an automatic program inverter for Lisp.

Robert Glück Masahiko Kawabe

Published in: ACM SIGPLAN Notices (2005)

Keyphrases

computer programs
programming language
learning theory
knowledge representation
data driven
fully automatic
control algorithm
computer vision
feature selection
search algorithm
semi automatic
programming environment
program execution
database
real time
natural language