Principles of program analysis
Guardat en:
| Autors principals: | , , |
|---|---|
| Format: | Livre papier |
| Idioma: | Anglais |
| Publicat: |
Berlin ; New York :
Springer
2004, cop. 2010.
|
| Matèries: | |
| Nota: |
Daté (2004) d'après la préface |
| Autres localisations: | Voir dans le Sudoc |
Taula de continguts:
- 1. Introduction
- 2. Data flow analysis
- 3. Constraint based analysis
- 4. Abstract interpretation
- 5. Type and effect systems
- 6. Algorithms
- Appendices. A. Partially ordered sets ; B. Induction and coinduction ; C. Graphs and regular expressions