From a42bb654f67700273e2a543f0f77e4160eb8c61a Mon Sep 17 00:00:00 2001 From: Csaba Hruska Date: Sat, 6 Apr 2019 15:05:25 +0200 Subject: [PATCH] Update AbstractInterpretation.md --- docs/AbstractInterpretation.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/AbstractInterpretation.md b/docs/AbstractInterpretation.md index fea98845..17fc3259 100644 --- a/docs/AbstractInterpretation.md +++ b/docs/AbstractInterpretation.md @@ -28,6 +28,12 @@ method: compiled abstract interpretation - [Points-to Analysis in Almost Linear Time](https://www.cs.cornell.edu/courses/cs711/2005fa/papers/steensgaard-popl96.pdf) - [Fast and accurate flow-insensitive points-to analysis](http://www.cs.utexas.edu/users/pingali/CS380C/2007fa/papers/popl97.pdf) +### relation of dataflow analysis, abstract interpretation and type inference + +- [Equivalence of data-flow analysis, abstract interpretation and type inference?](https://cs.stackexchange.com/questions/30746/equivalence-of-data-flow-analysis-abstract-interpretation-and-type-inference) +- [Types as Abstract Interpretations](https://www.irif.fr/~mellies/mpri/mpri-ens/articles/cousot-types-as-abstract-interpretations.pdf) +- [Principles of Program Analysis](http://www.imm.dtu.dk/~hrni/PPA/ppa.html) book + ### search for: abstract compilation - http://www.iro.umontreal.ca/~feeley/papers/BoucherFeeleyCC96.pdf ; Abstract compilation: A new implementation paradigm for static analysis - https://pdfs.semanticscholar.org/5ad8/cb6b477793ffb5ec29dde89df6b82dbb6dba.pdf ; A Graph–Free Approach to Data–Flow Analysis