Login / Signup

Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version).

Martin BodinThomas P. JensenAlan Schmitt
Published in: Festschrift for Dave Schmidt (2013)
Keyphrases
  • preliminary version
  • abstract interpretation
  • termination analysis
  • static analysis
  • active rules
  • data model
  • query language