Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries.

Hugo Illous Matthieu Lemerre Xavier Rival

Published in: SAS (2020)

Keyphrases

shape analysis
shape representation
shape descriptors
euclidean space
fuzzy logic
medical imaging
shape recognition
preserving transformations
image analysis and pattern recognition
distance maps
fourier descriptors
shape space
heat kernel
medical images
ground truth
multiscale segmentation
object recognition