Login / Signup

Combining E-Graphs with Abstract Interpretation.

Samuel CowardGeorge A. ConstantinidesTheo Drane
Published in: SOAP@PLDI (2023)
Keyphrases
  • abstract interpretation
  • termination analysis
  • static analysis
  • active rules
  • active databases
  • information systems
  • fine grained
  • dynamic analysis