Program Transformation in the Presence of Errors.

Alexander Aiken John H. Williams Edward L. Wimmers

Published in: POPL (1990)

Keyphrases

computer programs
database
artificial intelligence
information systems
data structure
program execution
databases
data mining
programming language
test cases
estimation error
error analysis
static analysis
control program