Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
A tour of Schism: a partial evaluation system for higher-order applicative languages
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Selective specialization for object-oriented languages
PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Declarative specialization of object-oriented programs
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Tempo: specializing systems applications and beyond
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
Computer
From Interpreting to Compiling Binding Times
ESOP '90 Proceedings of the 3rd European Symposium on Programming
Automatic Autoprojection of Higher Order Recursive Equations
ESOP '90 Proceedings of the 3rd European Symposium on Programming
Black-Box Program Specialization
Proceedings of the Workshop on Object-Oriented Technology
Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language
SAS '96 Proceedings of the Third International Symposium on Static Analysis
Automatic program specialization for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specialization classes: an object framework for specialization
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Automating selective dynamic compilation
Automating selective dynamic compilation
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization
Higher-Order and Symbolic Computation
Declarative specialization for object-oriented-program specialization
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Remote customization of systems code for embedded devices
Proceedings of the 4th ACM international conference on Embedded software
A tour of tempo: a program specializer for the C language
Science of Computer Programming - Special issue on program transformation
Termination analysis and specialization-point insertion in offline partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specialization for applications using shared libraries
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Hi-index | 0.00 |
Component-based software development advocates the reuse of generic off-the-shelf components to build complex and reliable applications. Unfortunately, the genericness of components results in degradation of system performance. Little progress has been made in promoting the specialization of a component independent of its use context. In this paper we propose a component specialization framework aiming at producing reusable specialization component which are adaptive to different specialization contexts. We advocate profitability declaration, a novel methodology to capture specialization opportunities independent of how components are deployed. This conceptual profitability declaration is translated into a profitability signature in the form of the binding-time constraint. A profitable specialization component, PSC for short, is then developed, aiming to be deployed in various applications in place of the original generic component, as well as to be adaptive to different specialization contexts. In addition to the merit of reusability, PSC also achieves a reasonable balance between multiplicity of specialized codes and the space required for keeping them. We believe that our framework will promote the usage of program specialization in component-based software development.