Improving Abstract Interpretations by Systematic Lifting to the Powerset.

Gilberto Filé Francesco Ranzato

Published in: GULP-PRODE (1) (1994)

Keyphrases

artificial intelligence
wavelet transform
expressive power
real time
real world
decision making
digital libraries
multiresolution
lifting scheme