XSLT/XPATH focus inference for optimized XSLT implementation

Details XSLT/XPATH focus inference for optimized XSLT implementation XSLT/XPATH focus inference for optimized XSLT implementation

2006-09-13

2011-12-06

Hong, Stephen (Department: 2178)

Data processing: presentation processing of document, operator i

Presentation processing of document

Structured document

C715S200000

Reexamination Certificate

active

08074166

ABSTRACT:
Techniques are provided for performing focus inference when compiling an Extensible Markup Language Transforms (XSLT) stylesheet into a compiled XSLT processor. In XPath/XSLT, expression evaluation occurs with respect to the dynamic context. In XPath, the part of the dynamic context, related to the context node-set, is called the “focus” of the expression. Conceptually, the focus would need to be systematically computed and propagated along the recursive execution of XSLT templates. This is costly. Focus inference enables the more efficient execution of XSLT programs since the inferred focus information can be used directly by a code generator in an XSLT compilation architecture.

REFERENCES:
patent: 7284194 (2007-10-01), Gupta
patent: 7392468 (2008-06-01), Igata et al.
patent: 7509574 (2009-03-01), Kamiya
patent: 7590644 (2009-09-01), Matsakis et al.
patent: 2002/0069192 (2002-06-01), Aegerter
patent: 2004/0088691 (2004-05-01), Hammes et al.
patent: 2004/0158822 (2004-08-01), Sandham et al.
patent: 2004/0230890 (2004-11-01), Fukuda et al.
patent: 2006/0041872 (2006-02-01), Poznanovic et al.
patent: 2006/0242563 (2006-10-01), Liu et al.
patent: 2007/0245325 (2007-10-01), Lapounov et al.
patent: 2008/0120283 (2008-05-01), Liu et al.
patent: 2009/0249317 (2009-10-01), Hui et al.
Wadler Philip, A Formal Semantics of Patterns in XSLT, Mar. 29, 2000, pp. 1-15.
Crivat et al., Introducing XsICompiledTransform, Nov. 16, 2005, Microsoft, pp. 1-20.
Kay, M., “Email: [Compiled] code running slower than the interpreter,” http://www.stylusstudio.com/xsllist/200011/post91050.html, 2000 2 pages.
Kay, M., “XSLT and XPath Optimization,”XML, http://idealliance.org/papers/dx—xmle04/papers/02-03-02/02-03-02.html, 2004, 1-7.
Kay, M., “What kind of language is XSLT?” http://www-128.ibm.com/developerworks/xml/library/x-xslt/?dwzone=x, Original article from 2001, updated 2005, 10 pages.
Kay, M., “Saxon: Anatomy of an XSLT processor, What is current state of the art in XSLT optimization?” http://www-128.ibm.com/developerworks/library/x-xslt2/, Original article from 2001, updated 2005, 8 pages.
Punte, S., “Fast XSLT, XML.COM,” http://www.xml.com/pub/a/2003/04/02/xsltc.html, 2003, 4 pages.
Tkachenko, O., “The Raise of XSLT Compilation,” http://www.tkachenko.com/blog/archives/000550.html, 2005, 3 pages.
Borning et al., “A Type Declaration and Inference System for Smalltalk”, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Annual Symposium on Principles of Programming Languages, Albuquerque, New Mexico, (No Month Available) 1982, 133-141.
Dong et al., “Static Analysis of XSLT Programs”, Proceedings of the 15th Australasian Database Conference (ADC), Australian Computer Science Communications, Dunedin, New Zealand, Jan. 2004, 27, 151-160.
Hindley, R., “The principal type scheme of an object in combinatory logic”, Transactions of the American Mathematical Society, 146, Dec. 1969, 29-60.
Hosoya et al., “XDuce: A Statically Typed XML Processing Language”, ACM Transactions on Internet Technology (TOIT), 3(2), May 2003, 117-148.
Marlow, S. et al., “A Practical Subtyping System for Erlang”, International Conference on Functional Programming, Proceedings of the second ACM SIGPLAN international conference on Functional programming, Amsterdam, The Netherlands, Jun. 1997, 136-149.
Milner, Robin, “A Theory of Type Polymorphism in Programming”, Journal of Computer and System Sciences, Computer Science Department, University of Edinburgh, Edinburgh, Scotland, Apr. 19, 1978, 17(3), 348-375.
Møller et al. “Static Validation of XSL Transformations” ACM Transactions on Programming Languages and Systems (TOPLAS), 29(4), Aug. 2007, 1-45.
Tozawa, Akihiko, “Towards static type checking for XSLT”, Proceedings of the 2001 ACM Symposium on Document engineering, Atlanta, Georgia, USA, Nov. 9-10, 2001, 18-27.
W3C “XSL Transformations (XSLT)”, http://www.w3.org./TR/xslt#section-Result-Tree-Fragments, Version 1.0, W3C Recommendation, first accessed, Nov. 16, 1999, 1-59.
W3C, “XML Path Language (XPath)”, http://www.w3.org/TR/xpath#section-Introduction, Version 1.0, W3C Recommendation, first accessed, Nov. 16, 1999, 1-31.

Affiliated with

Also associated with

Rating

XSLT/XPATH focus inference for optimized XSLT implementation does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with XSLT/XPATH focus inference for optimized XSLT implementation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and XSLT/XPATH focus inference for optimized XSLT implementation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4314089