Login / Signup

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

Patrick Cousot
Published in: Theor. Comput. Sci. (2002)
Keyphrases
  • abstract interpretation
  • case study
  • conceptual model
  • active rules
  • databases
  • knowledge based systems