- Record: found
- Abstract: not found
- Book Chapter: not found
Static Analysis
Learning Shape Analysis
other
August 19 2017
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references38
- Record: found
- Abstract: not found
- Article: not found
Formal verification of a realistic compiler
Xavier Leroy (2009)
- Record: found
- Abstract: not found
- Article: not found
Parametric shape analysis via 3-valued logic
Mooly Sagiv, Thomas Reps, Reinhard Wilhelm (2002)
- Record: found
- Abstract: not found
- Book Chapter: not found
Lazy Abstraction with Interpolants
Kenneth McMillan (2006)