Modular Shape Analysis for Dynamically Encapsulated Programs.

Noam Rinetzky Arnd Poetzsch-Heffter Ganesan Ramalingam Mooly Sagiv Eran Yahav

Published in: ESOP (2007)

Keyphrases

shape analysis
shape descriptors
shape representation
euclidean space
shape recognition
medical imaging
image analysis and pattern recognition
preserving transformations
anatomical structures
image processing
fourier descriptors
distance maps
geodesic paths