Termination Analysis for Higher-Order Attribute Grammars.
Lijesh KrishnanEric Van WykPublished in: SLE (2012)
Keyphrases
- termination analysis
- attribute grammars
- higher order
- active rules
- active databases
- abstract interpretation
- context free
- context free grammars
- xml processing
- integrity constraints
- deductive databases
- context dependent
- description language
- control flow
- relational databases
- xml databases
- context sensitive
- database technology
- data integration
- xml documents