L. O. Andersen, Program Analysis and Specialization for the C Programming Language, 1994.

M. J. Bach, The Design of the UNIX Operating System Software Series, pp.111-119, 1986.

D. Batory, Intelligent components and software generators, Proceedings of the Software Quality Institute Symposium on Software Reliability, 1997.

D. Batory, V. Singhal, M. Sirkin, and J. Thomas, Scalable Software Libraries, Proceedings of the ACM SIGSOFT '93 Symposium on the Foundations of Software Engineering, pp.191-199, 1993.
DOI : 10.1145/167049.167078
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.9294

J. A. Bergstra and P. Klint, The ToolBus coordination architecture, Ciancarini and Hankin [9], pp.75-88
DOI : 10.1007/3-540-61052-9_40
URL : http://dspace.library.uu.nl:8080/handle/1874/13562

B. N. Bershad, S. Savage, P. Pardyak, E. Gün-sirer, M. E. Fiuczynski et al., Extensibility, safety and performance in the SPIN operating system, SOSP95 [36], pp.267-283

G. Booch, The design of the C++ Booch Components, OOPSLA ECOOP '90 Proceedings, pp.1-11, 1990.
DOI : 10.1145/97946.97947

C. Chambers, S. Eggers, J. Auslander, M. Philipose, M. Mok et al., Automatic dynamic compilation support for event dispatching in extensible systems, WCSSS'96 [43], pp.118-126

C. Consel and O. Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.493-501, 1993.
DOI : 10.1145/158511.158707

C. Consel, L. Hornof, F. Noël, J. Noyé, and E. N. Volanschi, A uniform approach for compile-time and run-time specialization, Danvy et al. [15], pp.54-72
DOI : 10.1007/3-540-61580-6_4
URL : https://hal.archives-ouvertes.fr/inria-00073917

C. Consel and S. C. Khoo, Parameterized partial evaluation, ACM Transactions on Programming Languages and Systems, vol.15, issue.3, pp.463-493, 1993.
DOI : 10.1145/169683.174155

C. Consel and S. C. Khoo, Parameterized partial evaluation, Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, pp.92-106, 1991.
DOI : 10.1145/113446.113454

C. Consel and F. Noël, A general approach for run-time specialization and its application to C, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96
DOI : 10.1145/237721.237767

D. R. Engler, M. F. Kaashoek, and J. W. O-'toole, Exokernel: An operating system architecture for applicationlevel resource management, SOSP95 [36], pp.251-266

Y. Futamura, K. Nogi, and A. Takano, Essence of generalized partial computation, Theoretical Computer Science, vol.90, issue.1, pp.60-79, 1991.
DOI : 10.1016/0304-3975(91)90299-H

D. Garlan, G. E. Kaiser, and D. Notkin, Using tool abstraction to compose systems, Computer, vol.25, issue.6, pp.30-38, 1992.
DOI : 10.1109/2.153255

. Iso, Specification of abstract syntax notation one (ASN.1). ISO standard 8824, 1988.

I. Jacobs, J. Bertot, F. Montagnac, and D. Clement, The SOPHTALK reference manual, 1993.
URL : https://hal.archives-ouvertes.fr/inria-00070018

N. D. Jones, What not to do when writing an interpreter for specialisation, Danvy et al. [15], pp.216-237
DOI : 10.1007/3-540-61580-6_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.5748

N. D. Jones, C. Gomard, and P. Sestoft, Partial Evaluation and Automatic Program Generation. International Series in Computer Science, 1993.

T. B. Knoblock and E. Ruf, Data specialization, Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pp.215-225, 1996.
DOI : 10.1145/249069.231428

B. N. Locanthi, Fast bitblt() with asm() and cpp, European UNIX Systems User Group Conference Proceedings, pp.243-259, 1987.

G. R. Mcclain, Open Systems Interconnection Handbook, 1991.

A. B. Montz, D. Mosberger, S. W. O-'malley, L. L. Peterson, T. A. Proebsting et al., Scout: a communications-oriented operating system, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V), 1994.
DOI : 10.1109/HOTOS.1995.513455

G. Muller, E. N. Volanschi, and R. Marlet, Scaling up partial evaluation for optimizing the Sun commercial RPC protocol, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00073470

H. and P. Nii, Blackboard systems, AI Magazine, vol.7, issue.3, pp.38-53, 1986.

O. Corba, The Common Object Request Broker: Architecture and Specification, 1995.

K. John and . Ousterhout, Scripting: Higher-level programming for the 21st century. White paper, 1997.

C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan et al., Optimistic incremental specialization: Streamlining a commercial operating system, SOSP95 [36], pp.314-324
DOI : 10.1145/224057.224080
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.8443

C. Pu, H. Massalin, and J. Ioannidis, The Synthesis kernel, Computing Systems, vol.1, issue.1, pp.11-32, 1988.

S. P. Reiss, Connecting tools using message passing in the Field environment, IEEE Software, vol.7, issue.4, pp.57-66, 1990.
DOI : 10.1109/52.56450

M. Shaw and D. Garlan, Software Architecture, 1996.

R. Snodgrass, The Interface Definition Language: Definition and Use, 1989.

D. R. Stewart, MESHCHAC: Matrix Computations in C, 1992.

S. Thibault and C. Consel, A framework of application generator design, Proceedings of the Symposium on Software Reusability, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00073690

E. N. Volanschi, C. Consel, G. Muller, and C. Cowan, Declarative specialization of object-oriented programs, OOPSLA'97 Conference Proceedings, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00073572

E. N. Volanschi, G. Muller, and C. Consel, Safe operating system specialization: the RPC case study, WCSSS'96 [43], pp.24-28

E. N. Volanschi, G. Muller, C. Consel, L. Hornof, J. Noyé et al., A uniform automatic approach to copy elimination in system extensions via program specialization, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00073789

P. Wadler, Deforestation: transforming programs to eliminate trees, Theoretical Computer Science, vol.73, issue.2, pp.231-248
DOI : 10.1016/0304-3975(90)90147-A

I. Unité-de-recherche, . Lorraine, V. Technopôle-de-nancy-brabois, I. Unité-de-recherche, and . Rennes, Campus scientifique, 615 rue du Jardin Botanique Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.78153, 2004.