Login / Signup

Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact).

Noah Van EsQuentin StiévenartCoen De Roover
Published in: Dagstuhl Artifacts Ser. (2019)
Keyphrases
  • abstract interpretation
  • termination analysis
  • static analysis
  • model checking
  • active rules
  • reasoning engine
  • active databases
  • dynamic analysis
  • database
  • information systems
  • pattern matching
  • reverse engineering