Integrating Non-Interfering Versions of Programs.

Susan Horwitz Jan F. Prins Thomas W. Reps

Published in: POPL (1988)

Keyphrases

text files
computer vision
neural network
social networks
special case
software engineering
medical images
fixpoint
intermediate level
automatic programming