Quasi-metric Spaces as Domains for Abstract Interpretation.
Federico CrazzolaraPublished in: APPIA-GULP-PRODE (1997)
Keyphrases
- metric space
- abstract interpretation
- termination analysis
- similarity search
- similarity queries
- searching in metric spaces
- distance function
- high dimensional
- range queries
- probability measures
- static analysis
- multidimensional index
- point sets
- partially ordered sets
- model checking
- active rules
- multi dimensional
- indexing techniques
- knn