Statically safe program generation with SafeGen.

Shan Shan Huang David Zook Yannis Smaragdakis

Published in: Sci. Comput. Program. (2011)

Keyphrases

artificial intelligence
learning environment
computer programs
real time
computer vision
multiscale
reinforcement learning
probability distribution
programming environment
fault localization
program understanding