Abstract Interpretation of an Object Calculus for Synchronization Optimizations.

Roberto Barbuti Stefano Cataudella

Published in: Fundam. Informaticae (2005)

Keyphrases

abstract interpretation
complex objects
reasoning engine
termination analysis
xml documents
static analysis
active rules