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 |
| _version_ | 1780970663823015936 |
|---|---|
| author | Miné, Antoine |
| author_facet | Miné, Antoine |
| author_sort | Miné, Antoine |
| collection | CERN |
| description | 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. |
| id | cern-2762209 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2017 |
| publisher | Now Publishers |
| record_format | invenio |
| spelling | cern-27622092021-04-21T16:39:12Zhttp://cds.cern.ch/record/2762209engMiné, AntoineTutorial on static inference of numeric invariants by abstract interpretationXXThis 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.Now Publishersoai:cds.cern.ch:27622092017 |
| spellingShingle | XX Miné, Antoine Tutorial on static inference of numeric invariants by abstract interpretation |
| title | Tutorial on static inference of numeric invariants by abstract interpretation |
| title_full | Tutorial on static inference of numeric invariants by abstract interpretation |
| title_fullStr | Tutorial on static inference of numeric invariants by abstract interpretation |
| title_full_unstemmed | Tutorial on static inference of numeric invariants by abstract interpretation |
| title_short | Tutorial on static inference of numeric invariants by abstract interpretation |
| title_sort | tutorial on static inference of numeric invariants by abstract interpretation |
| topic | XX |
| url | http://cds.cern.ch/record/2762209 |
| work_keys_str_mv | AT mineantoine tutorialonstaticinferenceofnumericinvariantsbyabstractinterpretation |