Login / Signup

Trends in applying abstract interpretation.

Andrew Bowles
Published in: Knowl. Eng. Rev. (1992)
Keyphrases
  • abstract interpretation
  • termination analysis
  • reasoning engine
  • model checking
  • static analysis
  • active rules
  • dynamic analysis
  • mobile devices
  • database management systems