Solving Shape-Analysis Problems in Languages with Destructive Updating.

Shmuel Sagiv Thomas W. Reps Reinhard Wilhelm

Published in: POPL (1996)

Keyphrases

shape analysis
euclidean space
shape recognition
shape representation
shape descriptors
medical imaging
machine learning
pattern recognition
shape space
preserving transformations