Sisäänkirjautuminen

Marlet, Renaud

Program Specialization

Marlet, Renaud - Program Specialization, e-kirja

DRM-rajoitukset

Tulostus30 sivua ja lisä sivu kertyy joka päivä, ylärajana 30 sivua
Kopioi leikepöydälle5 poimintoa

This book presents the principles and techniques of program specialization — a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical details address issues related to program analysis precision, value reification, incomplete program specialization, strategies to exploit specialized program, incremental specialization, and data specialization. The book, that targets both researchers and software engineers, also opens scientific and industrial perspectives.

Avainsanat: principles; program specialization; specializing; performance; automatic; applications; main; specialization; financial; viability; transforming specialization; termination; correctness; forms; offline

Tekijä(t)
Julkaisija
John Wiley and Sons, Inc.
Julkaisuvuosi
2012
Kieli
en
Painos
1
Sarja
ISTE
Sivumäärä
554 sivua
Kategoria
Tekniikka, energia, liikenne
Tiedostomuoto
E-kirja
eISBN (ePUB)
9781118576861
Painetun ISBN
9781848213999

Samankaltaisia e-kirjoja