Integrating XPath with the Functional-Logic Language Toy.
Rafael CaballeroYolanda García-RuizFernando Sáenz-PérezPublished in: PADL (2011)
Keyphrases
- formal language
- xml documents
- programming language
- xml query languages
- dynamic logic
- modal logic
- automated reasoning
- language learning
- predicate calculus
- proof theory
- xml data
- query evaluation
- highly expressive
- functional language
- formal theory
- operational semantics
- conditional logic
- query language
- natural language
- formal logic
- intuitionistic logic
- predicate logic
- reasoning about actions
- transitive closure
- multi valued
- xpath queries
- logic programming language
- modal operators
- xml queries
- agent programming
- integrity constraints
- xml processing
- first order logic
- linear temporal logic
- logic programming
- databases
- monadic second order logic