Reasoning About Program Transformations
Imperative Programming and Flow of Data
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Jean-Francois Collard
Themen in »Reasoning About Program Transformations«
algorithm algorithms compiler design language optimization programming software software engineering