Specialization is an automatic approach to customizing a program with respect to
configuration values. In this paper, we present a survey of Tempo, a specializer for the C …

Only recently, most of the software industry and computer science community recognized the
rapidly increasing importance of embedded computer systems. Up to then, embedded …

Partial evaluation is a program transformation that automatically specializes a program with
respect to invariants. Despite successful application in areas such as graphics, operating …

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 …

To our point of view, adaptability is a key characteristic of components and should be at the
heart of any proper component model. However, contrarily to the object crystal-box model of …

Component-Based Software Development (CBSD) is an attractive way to deliver generic
executable pieces of program, ready to be reused in many different contexts. Component …

Portable (standards-compliant) systems software is usually associated with unavoidable
overhead from the standards-prescribed interface. For example, consider the POSIX …

Page 1 collection Logique et programmation dirigée par Marc Pouzet Ingénierie de la
spécialisation de programmes 2 techniques avancées Renaud Marlet Page 2 Page 3 …

Page 1 collection Logique et programmation dirigée par Marc Pouzet Ingénierie de la
spécialisation de programmes 2 techniques avancées Renaud Marlet Page 2 Page 3 …

Partial evaluation is a program transformation that automatically specializes a program with
respect to invariants. Despite successful application in areas such as graphics, operating …