Correctness Preserving Transformations for Distributed Programs.

S. Mahadevan R. K. Shyamasundar

Published in: IFIP Congress (1983)

Keyphrases

preserving transformations
shape analysis
computer vision
special case
differential geometry
statistical analysis
conjunctive queries