An Optimal Staging Algorithm

Takuma Murakami,Zhenjiang Hu,Masato Takeichi
2002-01-01
Abstract:Staging is an alternative approach for binding-time analysis and program specialization, making some pieces of code dynamic. Tim Sheard and Nathan Linger showed a search-based algorithm for auto- mated staging. The problems remained are unclear computation com- plexity and no ecient way to take optimal solutions. In this paper, we propose a linear algorithm to derive optimally staged programs with con- crete implementation. The key point of our approach is to make use of the optimization theorem for solving multi-marking problem by regard- ing staging as marking.
What problem does this paper attempt to address?