Exceptional situations and program reliability.

Westley Weimer George C. Necula

Published in: ACM Trans. Program. Lang. Syst. (2008)

Keyphrases

computer programs
real world
reliability assessment
control program
relational databases
program synthesis
program execution
automatic programming
programming environment
special case
real time
multiscale
three dimensional
decision making
social networks
search engine
databases
data sets