Runtime checking C programs.

Reed Milewicz Rajeshwar Vanka James Tuck Daniel J. Quinlan Peter Pirkelbauer

Published in: SAC (2015)

Keyphrases

automatic programming
data sets
search algorithm
prolog programs
neural network
machine learning
computer vision
query language
programming environment
provably correct