Menu

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

prodaq

ANR project 2015—2019

ANR Documents

We gather here the various documents related to the ANR funding for PRODAQ.

  • scientific proposal
  • kickoff presentation
  • 18 mo. advancement report
  • mid-project presentation
  • mid-project recommendations

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.