Login

Marlet, Renaud

Program Specialization

Marlet, Renaud - Program Specialization, ebook

193,40€

Ebook, ePUB with Adobe DRM
ISBN: 9781118576861
DRM Restrictions

Printing30 pages with an additional page accrued every day, capped at 30 pages
Copy to clipboard5 excerpts

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.

Keywords: Programming & Software Development

Author(s)
Publisher
John Wiley and Sons, Inc.
Publication year
2012
Language
en
Edition
1
Series
ISTE
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (ePUB)
9781118576861
Printed ISBN
9781848213999

Similar titles