Login / Signup

A New Class of Functions for Abstract Interpretation.

Jörg KöllerMarkus Mohnen
Published in: SAS (1999)
Keyphrases
  • abstract interpretation
  • termination analysis
  • static analysis
  • databases
  • case study
  • multi agent systems
  • business processes
  • fine grained
  • pattern matching
  • spatial data
  • active rules