Interprocedural Shape Analysis for Recursive Programs.

Noam Rinetzky Shmuel Sagiv

Published in: CC (2001)

Keyphrases

shape analysis
recursive programs
program synthesis
logic programs
transformation rules
shape descriptors
shape representation
shape recognition
medical imaging
preserving transformations
image analysis and pattern recognition
closed curves
shape space
shape properties
metamodel
pattern recognition
multiscale