Annotated Program Transformations.

Victor N. Kasyanov

Published in: FSTTCS (1989)

Keyphrases

manually annotated
search engine
multiscale
computer programs
program execution
real world
genetic algorithm
case study
high level
static analysis
control program
program understanding