Purity Analysis: An Abstract Interpretation Formulation.

Ravichandhran Madhavan Ganesan Ramalingam Kapil Vaswani

Published in: SAS (2011)

Keyphrases

abstract interpretation
static analysis
case study
mobile devices
query processing
database management systems
distributed databases
dynamic analysis