Cargando…
Tutorial on static inference of numeric invariants by abstract interpretation
This monograph is based on several Master-level courses in Abstract Interpretation given by the author. It is intended as an entry course in Abstract Interpretation.
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Now Publishers
2017
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2762209 |