Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Reasoning About Program Transformations: Imperative...
Imagen de archivo
Reasoning About Program Transformations: Imperative Programming and Flow of Data
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_387707800
Comprar usado
EUR 11,90
Gastos de envío:
EUR 3,23
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Reasoning About Program Transformations: Imperative Programming and Flow of Data
Librería: Midtown Scholar Bookstore, Harrisburg, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. no dust jacket as issued Standard-sized. Nº de ref. del artículo: mon0000129337
Comprar usado
EUR 10,90
Gastos de envío:
EUR 5,17
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Reasoning About Program Transformations: Imperative Programming and Flow of Data
Librería: Midtown Scholar Bookstore, Harrisburg, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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. Nº de ref. del artículo: M0387953914Z3
Comprar usado
EUR 11,12
Gastos de envío:
EUR 5,17
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Reasoning About Program Transformations: Imperative Programming and Flow of Data
Librería: BookOrders, Russell, IA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hard Cover. Condición: Good. No Jacket. Ex-library with the usual features The interior is clean and tight. Binding and cover are good. 237 pages. Ex-Library. Nº de ref. del artículo: 033986sf
Comprar usado
EUR 22,20
Gastos de envío:
EUR 3,45
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Reasoning About Program Transformations: Imperative Programming and Flow of Data
Librería: thebookforest.com, San Rafael, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Well packaged and promptly shipped from California. US veteran operated. Nº de ref. del artículo: BAY_04_SH_010040
Comprar nuevo
EUR 36,30
Gastos de envío:
EUR 3,44
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Reasoning About Program Transformations: Imperative Programming and Flow of Data.
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
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. Nº de ref. del artículo: 8556VB
Comprar usado
EUR 14,00
Gastos de envío:
EUR 30,00
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Reasoning About Program Transformations
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-86113
Comprar nuevo
EUR 47,72
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Reasoning About Program Transformations
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: ABNR-90676
Comprar nuevo
EUR 47,72
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Reasoning About Program Transformations: Imperative Programming and Flow of Data
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Nº de ref. del artículo: SHAK86113
Comprar nuevo
EUR 53,52
Gastos de envío:
GRATIS
De Australia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Reasoning About Program Transformations
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: Used. pp. 264. Nº de ref. del artículo: 263067383
Comprar usado
EUR 52,63
Gastos de envío:
EUR 3,44
A Estados Unidos de America
Cantidad disponible: 1 disponibles