Jean-Francois Collard
Reasoning About Program Transformations
Imperative Programming and Flow of Data
Paperback Engels 2010 9781441929815
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9781441929815
Taal:Engels
Bindwijze:paperback
Aantal pagina's:238
Uitgever:Springer New York
Druk:0
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
* 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
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan