Buch, Englisch, Band 2628, 136 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 236 g
New Techniques and Algorithms for Symbolic Program Analysis and Optimization
Buch, Englisch, Band 2628, 136 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 236 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-01185-9
Verlag: Springer Berlin Heidelberg
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Betriebssysteme Windows Betriebssysteme
Weitere Infos & Material
Symbolic Analysis of Programs.- Generating Program Contexts.- Symbolic Analysis Algorithms and Transformations.- Symbolic Analysis for Parallelizing Compilers.- Related Work.- Conclusion.