Login / Signup
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