Generic Software Component Configuration Via Partial Evaluation

We propose the use of partial evaluation as a mean to configure automatically and systematically software components in a predictable way. We based our approach on a declaration language, which enables the component programmer to describe the genericity and configurability of the application components. These informations are checked and used to derive specialized components with respect to a given context.

[1]  Charles Consel,et al.  A tour of Schism: a partial evaluation system for higher-order applicative languages , 1993, PEPM '93.

[2]  Julia L. Lawall.  Faster Fourier Transforms via Automatic Program Specialization , 1998, Partial Evaluation.

[3]  Calton Pu,et al.  Fast, optimized Sun RPC using automatic program specialization , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[4]  Robert Glück,et al.  Partial Evaluation of Numerical Programs in Fortran , 1994, PEPM.

[5]  Charles Consel,et al.  Mapping software architectures to efficient implementations via partial evaluation , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[6]  Ulrik Pagh Schultz,et al.  Towards Automatic Specialization of Java Programs , 1999, ECOOP.

[7]  John W. Lloyd,et al.  Partial Evaluation in Logic Programming , 1991, J. Log. Program..

[8]  Charles Consel,et al.  A Domain Specific Language for Video Device Drivers: From Design to Implementation , 1997, DSL.

[9]  Charles Consel,et al.  A framework for application generator design , 1997, SSR '97.

[10]  Calton Pu,et al.  Optimistic incremental specialization: streamlining a commercial operating system , 1995, SOSP.

[11]  Julia L. Lawall,et al.  Automatic, template-based run-time specialization: implementation and experimental study , 1998, Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).

[12]  Olivier Danvy,et al.  Tutorial notes on partial evaluation , 1993, POPL '93.

[13]  Jacques Noyé,et al.  A Uniform Approach for Compile-Time and Run-Time Specialization , 1996, Dagstuhl Seminar on Partial Evaluation.

[14]  Peter Sestoft,et al.  Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.

[15]  Calton Pu,et al.  The Synthesis Kernel , 1988, Comput. Syst..