Login / Signup

Frontiers and Open Sets in Abstract Interpretation.

Sebastian Hunt
Published in: FPCA (1989)
Keyphrases
  • abstract interpretation
  • termination analysis
  • static analysis
  • model checking
  • active rules