Sinossi
The text contains a detailed and current presentation of the program analyses 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. In addition, the author shows that correctness of program transformations is guaranteed by the conservation of data flow. 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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
* Introduction * Describing program executions * Labels * Revisiting some classical compiler concepts * Reaching defintion analysis * Applications of reaching definition analysis * Some classical compiler concepts, part II * Single assignment forms * Maximal static expansion * Parallel languages * Toward algorithm recognition * References * Index
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Reasoning About Program Transformations: Imperative...
Foto dell'editore
Reasoning About Program Transformations: Imperative Programming and Flow of Data
Da: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. Good - Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name - GOOD Standard-sized. Codice articolo M0387953914Z3
Compra usato
EUR 19,00
Spedizione EUR 5,16
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Reasoning About Program Transformations: Imperative Programming and Flow of Data
Da: thebookforest.com, San Rafael, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Well packaged and promptly shipped from California. US veteran operated. Codice articolo BAY_04_SH_010040
Compra nuovo
EUR 21,03
Spedizione EUR 4,30
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Reasoning About Program Transformations: Imperative Programming and Flow of Data
Da: BookOrders, Russell, IA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hard Cover. Condizione: Good. No Jacket. Ex-library with the usual features The interior is clean and tight. Binding and cover are good. 237 pages. Ex-Library. Codice articolo 033986sf
Compra usato
EUR 22,16
Spedizione EUR 3,44
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Reasoning About Program Transformations: Imperative Programming and Flow of Data.
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Valutazione del venditore 4 su 5 stelle
2003th ed. 16 x 23 cm. 256 pages. Hardcover HC Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Codice articolo 8556VB
Compra usato
EUR 14,00
Spedizione EUR 30,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Reasoning About Program Transformations
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-86113
Compra nuovo
EUR 49,04
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Reasoning About Program Transformations
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABBB-160100
Compra nuovo
EUR 49,04
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Reasoning About Program Transformations
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 264. Codice articolo 263067383
Compra usato
EUR 51,81
Spedizione EUR 3,43
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Reasoning About Program Transformations
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 264 125 Illus. Codice articolo 5861928
Compra usato
EUR 49,10
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Reasoning About Program Transformations
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 264. Codice articolo 183067389
Compra usato
EUR 49,59
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Reasoning About Program Transformations : Imperative Programming and Flow of Data
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 1208031
Compra usato
EUR 61,45
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili