7. A system for performing focus inference when compiling an Extensible Markup Language Transforms (XSLT) stylesheet into a compiled XSLT processor, comprising: a processor coupled to a memory, the memory having stored thereon instructions that when executed by the processor cause the processor to: generate an Abstract Syntax Tree (AST) from said XSLT stylesheet; annotate nodes in said AST that are associated with variables and parameters with focus inference flags, said annotating comprising for each of said nodes determining which of a plurality of focus inference flags that define a focus is required to be maintained; build a reverse call graph for a template associated with the XSLT stylesheet; propagate any focus inference flags from a callee template to a caller template; propagate any focus inference flags through the reverse call graph; and use the focus defined by the focus inference flags directly in one or more of a code generator in an XSLT compilation architecture, an interpreter, and/or a JITer, wherein said focus inference flags comprise a â€œcurrentâ€ focus inference flag, a â€œpositionâ€ focus inference flag, and a â€œlastâ€ focus inference flag.
7. A system for performing focus inference when compiling an Extensible Markup Language Transforms (XSLT) stylesheet into a compiled XSLT processor, comprising: a processor coupled to a memory, the memory having stored thereon instructions that when executed by the processor cause the processor to: generate an Abstract Syntax Tree (AST) from said XSLT stylesheet; annotate nodes in said AST that are associated with variables and parameters with focus inference flags, said annotating comprising for each of said nodes determining which of a plurality of focus inference flags that define a focus is required to be maintained; build a reverse call graph for a template associated with the XSLT stylesheet; propagate any focus inference flags from a callee template to a caller template; propagate any focus inference flags through the reverse call graph; and use the focus defined by the focus inference flags directly in one or more of a code generator in an XSLT compilation architecture, an interpreter, and/or a JITer, wherein said focus inference flags comprise a â€œcurrentâ€ focus inference flag, a â€œpositionâ€ focus inference flag, and a â€œlastâ€ focus inference flag. 10. The system of claim 7 , wherein propagating any focus inference flags through the reverse call graph further comprises using a fixed-point algorithm on a control-flow graph.