Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, reverse-engineering tools, program veri?- tion/testing/proving systems, program comprehension systems, and program special...
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
2628 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Advanced symbolic analysis for compilers, new techniques and algorithms for symbolic program analysis and optimization, Thomas Fahringer, Bernhard Scholz, Berlin, Springer, 2003, 1 vol. (XII-129 p.), Lecture notes in computer science, 3-540-01185-4 • Advanced Symbolic Analysis for Compilers, Texte imprimé, 9783662205839 |
Sommario:
- Symbolic Analysis of Programs
- Generating Program Contexts
- Symbolic Analysis Algorithms and Transformations
- Symbolic Analysis for Parallelizing Compilers
- Related Work
- Conclusion.