Sign in

Bit-Precise Procedure-Modular Termination Analysis.

Hong-Yi ChenCristina DavidDaniel KroeningPeter SchrammelBjörn Wachter
Published in: ACM Trans. Program. Lang. Syst. (2018)
Keyphrases
  • termination analysis
  • active rules
  • active databases
  • abstract interpretation
  • integrity constraints
  • databases
  • business rules