Login / Signup

Constructive design of a hierarchy of semantics of a transition system by abstract interpretation.

Patrick Cousot
Published in: MFPS (1997)
Keyphrases
  • relational databases
  • databases
  • knowledge based systems
  • test set
  • pattern matching
  • abstract interpretation