Systematic design of program transformation frameworks by abstract interpretation.

Patrick Cousot Radhia Cousot

Published in: POPL (2002)

Keyphrases

databases
case study
static analysis
database systems
knowledge representation
open source
logic programming
business process
abstract interpretation