===== Software =====

==== XPath Parser and XPath Benchmark ====

Copyright © 2016-2017 ENS Paris-Saclay
Licensed under the [[http://www.gnu.org/|GNU]] [[http://www.gnu.org/licenses/gpl.html|GPL]].

Together with [[http://www.lsv.fr/~dbaelde/|David Baelde]] and [[http://www.lsv.fr/~lick/|Anthony Lick]], I have implemented [[https://archive.softwareheritage.org/browse/swh:1:dir:081194c82832b17c4d1229313e85753dfb3ec4cd|xpparser]], a parser for XPath 3.0 able to extract XPath queries from XQuery files.  Using this parser, we have generated [[https://archive.softwareheritage.org/browse/swh:1:dir:1ea68cf5bb3f9f3f2fe8c7995f1802ebadf17fb5|xpath-benchmark]], a benchmark of real-world XPath queries extracted from several open-source projects.

==== DTWA Tools ====

Copyright © 2009 ENS Cachan
Licensed under the [[http://www.gnu.org/|GNU]] [[http://www.gnu.org/licenses/gpl.html|GPL]].

Implements three small tools on deterministic tree-walking automata (DTWAs):

  * ''dtwarun'': runs DTWAs on binary trees in XML format.
  * ''dtwac'': complements DTWAs.
  * ''dtwa2rng'': translates DTWAs into RELAX NG grammars.

The source is available here: [[https://www.irif.fr/~schmitz/code/dtwa-tools-0.3.tar.bz2|dtwa-tools-0.3.tar.bz2]]. The tools are clearly not ready for any serious use, but are distributed in case someone would be interested in them.

==== Grammar Test Suite Generator ====

Copyright © 2008 INRIA
Licensed under the [[http://www.cecill.info/licences/Licence_CeCILL_V2-en|CeCILL License version 2]].

A tool suite developed for the paper [[https://hal.archives-ouvertes.fr/hal-00276326|Feature unification in TAG derivation trees]]. Among other tools, one will find a translator from feature-based TAG into feature-based RTG and simple MTT, plus translation into Prolog of feature-based RTG, allowing for instance to generate correct TAG derivation trees.

Source available using Subversion:

  svn co svn://scm.gforge.inria.fr/svn/paule/trunk/gtsg

==== Ambiguity detection in GNU Bison ====

Copyright © 2006, 2007 Laboratoire I3S.
Copyright © 1984, 1986, 1989, 1992, 1995, 2000, 2001, 2002, 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
Licensed under the [[http://www.gnu.org/|GNU]] [[http://www.gnu.org/licenses/gpl.html|GPL]].

Implements a conservative test for ambiguity in context-free grammars (see [[https://hal.archives-ouvertes.fr/hal-00610222|article]]). The tool is an implementation of an ''--ambiguity'' option in [[http://www.gnu.org/software/bison/|GNU Bison]].  With this option, Bison attempts to find the ambiguities in the provided grammar instead of constructing a parser.

The source is available here: [[https://www.irif.fr/~schmitz/bison-2.3a+ambiguity.tar.bz2|bison-2.3a+ambiguity.tar.bz2]]. Some related options are ''--conflicts'', which reports the initial LR(0) conflicts that might end up in an ambiguity, ''--trace=ma'', which displays the computed mutually accessible item pairs, and ''--trace=metrics'', which displays a few grammar metrics.

See the [[https://www.irif.fr/~schmitz/ChangeLog|ChangeLog]] for the latest bug fixes.

See also the [[https://www.irif.fr/~schmitz/pub/grammar_collection.tar.gz|collection of grammars for programming languages]] I employed for the experimental results presented in my thesis.