Continuity and robustness of programs.

Swarat Chaudhuri Sumit Gulwani Roberto Lublinerman

Published in: Commun. ACM (2012)

Keyphrases

data sets
information systems
similarity measure
answer sets
computer programs
automatic programming
real time
databases
neural network
multiscale
high robustness
provably correct