Articles liés à Reasoning About Program Transformations: Imperative...

Reasoning About Program Transformations: Imperative Programming and Flow of Data - Couverture rigide

Collard, Jean-Francois

 
9780387953915: Reasoning About Program Transformations: Imperative Programming and Flow of Data

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.