Experiments in abstract interpretation-based code certification for pervasive systems.

Elvira Albert Germán Puebla Manuel V. Hermenegildo

Published in: SMC (2) (2004)

Keyphrases

computing environments
source code
distributed systems
static analysis
database
management system
context aware
active rules
termination analysis
abstract interpretation