Reasoning About Program Transformations
Collard, Jean-Francois
| Autor: | Collard, Jean-Francois |
|---|---|
| Veröffentlichungsdatum: | 03.12.2010 |
| EAN: | 9781441929815 |
| Sprache: | Englisch |
| Seitenzahl: | 260 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Springer US, New York, N.Y. |
| Untertitel: | Imperative Programming and Flow of Data |
Produktinformationen "Reasoning About Program Transformations"
A new book providing a detailed and current presentation of the program analysses and transformations that extract the flow of data in computer memory systems. The emphasis is on a framework for the optimization of code for imperative programs and greater computer systems efficiency. Professionals and researchers in software engineering, computer engineering, program design analysis, and compiler design will benefit from its presentation of data-flow methods and memory optimization of compilers.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen