A Two-Phase Binding-Time Analysis in Partial Evaluation for XQuery

Since a binding-time analysis determines how an off-line partial evaluation system will specialize a program, the accuracy of the binding-time analysis directly determines the degree of specialization. In this paper, a binding-time analysis for the partial evaluation for XQuery is presented, and it has been implemented and integrated into an XQuery partial evaluation system. This binding-time analysis has two phase: the first phase only determinates and annotates expressions that depend only on the values of configuration parameters and the static information; the second phase re-annotates the binding-time analysis states for expressions according to both the information of binding-time given by the first phase and the information of reference-sensitivity, which can be used to improve the precise of the binding-time analysis in the partial evaluation for XQuery. After doing some experiments, the results show that our binding-time analysis is a practical and effectual technique for the partial evaluation for XQuery programs.