Login / Signup

Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation.

Pierre LermusiauxBenoît Montagu
Published in: ESOP (2) (2024)
Keyphrases
  • functional programs
  • abstract interpretation
  • term rewriting systems
  • termination analysis
  • static analysis
  • model checking
  • database
  • object oriented
  • active rules
  • artificial intelligence
  • fine grained
  • dynamic analysis