Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/CSIE.2009.50 | CSIE (7) |
Keywords | Field | DocType |
partial evaluation | Query language,Programming language,Functional programming,Expression (mathematics),Partial evaluation,Computer science,Artificial intelligence,Binding time analysis,XML,Algorithm,Probability density function,Machine learning,XQuery | Conference |
Volume | Issue | Citations |
7 | null | 0 |
PageRank | References | Authors |
0.34 | 6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hang Su | 1 | 10 | 7.98 |
Husheng Liao | 2 | 20 | 11.82 |