Sign in

Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.

Patrick CousotRadhia Cousot
Published in: POPL (1977)
Keyphrases
  • static analysis
  • abstract interpretation
  • case study
  • management system
  • dynamic analysis
  • database
  • web services
  • programming language
  • source code
  • pattern matching
  • conceptual model