XQuery in the Functional-Logic Language Toy.
Jesús Manuel Almendros-JiménezRafael CaballeroYolanda García-RuizFernando Sáenz-PérezPublished in: WFLP (2011)
Keyphrases
- query language for xml
- formal language
- programming language
- xml query languages
- intuitionistic logic
- xml processing
- modal logic
- proof theory
- formal theory
- query language
- logic programming
- rewriting rules
- operational semantics
- conditional logic
- formal logic
- highly expressive
- classical logic
- predicate logic
- modal operators
- agent programming
- natural language
- metadata
- specification language
- computational linguistics
- multi valued
- target language
- model checking
- query processing
- lambda calculus
- xml documents