Login / Signup

On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation.

R. C. SekarPrateek MishraI. V. Ramakrishnan
Published in: POPL (1991)
Keyphrases
  • abstract interpretation
  • static analysis
  • data analysis
  • database
  • data management