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...
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
2628 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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 |