Correctness-Preserving Program Transformations.

Susan L. Gerhart

Published in: POPL (1975)

Keyphrases

program execution
computer vision
computer programs
static analysis
concurrent programs
databases
real world
social networks
image segmentation
computer science
test cases