Login / Signup

Class invariants as abstract interpretation of trace semantics.

Francesco Logozzo
Published in: Comput. Lang. Syst. Struct. (2009)
Keyphrases
  • abstract interpretation
  • active rules
  • termination analysis
  • formal semantics
  • logic programming
  • open source