Sign in

Systematic design of program transformation frameworks by abstract interpretation.

Patrick CousotRadhia Cousot
Published in: POPL (2002)
Keyphrases
  • databases
  • case study
  • static analysis
  • database systems
  • knowledge representation
  • open source
  • logic programming
  • business process
  • abstract interpretation