Menu

  • Home
  • ANR Documents
  • Participants
  • Publications
  • Releases
Skip to content

prodaq

ANR project 2015—2019

Releases

XPath Parser

We have developed a modified version of the W3C Parser, able to extract the XPath 3.0 queries used within XQuery files. See the public git repository.

XPath Benchmark

We have released a benchmark of XPath queries extracted from the XSLT and XQuery files of several open-source projects. The initial release is xpath-benchmark-1.0.

(photo Colourful Books 2 ©Paul Hood, CC BY 2.0)

About PRODAQ

An ANR-funded project dedicated to the verification of data queries, expressed in data logics like XPath, and running over the period Jan. 2015—Dec. 2018. See our short presentation.

Current Participants

David BaeldeDavid BaeldeAnthony LickAnthony LickSylvain SchmitzSylvain Schmitz

Supporting institutions

Agence Nationale de la Recherche Laboratoire Spécification et Vérification

Latest news

  • XPath Benchmark December 20, 2017
  • XPath Parser December 20, 2017
  • Kick-off meeting October 10, 2014
  • Proof systems for data queries October 8, 2014

Tag cloud

Proof system XPath

Links

  • Log in
  • Entries feed
  • Comments feed
Built with WordPress | Theme: Eighties by Kopepasah.