This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 WRI World Congress on Computer Science and Information Engineering
A Two-Phase Binding-Time Analysis in Partial Evaluation for XQuery
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
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.
Index Terms:
XQuery, partial evaluation, binding-time analysis
Citation:
Su Hang, Liao Husheng, "A Two-Phase Binding-Time Analysis in Partial Evaluation for XQuery," csie, vol. 7, pp.454-461, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.