Sign in

Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract).

Patrick CousotRadhia Cousot
Published in: AMAST (1997)
Keyphrases
  • extended abstract
  • management system
  • abstract interpretation
  • algebraic curves
  • query language
  • fine grained