Publications HAL du projet ANR. colis

2017

Journal articles

titre
A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links
auteur
Ran Chen, Martin Clochard, Claude Marché
article
Journal of Formalized Reasoning, ASDD-AlmaDL, 2017, 10 (1)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01652148/file/jfr7213.pdf BibTex
titre
Automata for Unordered Trees
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
Information and Computation, Elsevier, 2017, 253, pp.304-335 〈10.1016/j.ic.2016.07.012〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01179493/file/DeterministicAutomataUnordered_Journal-1.pdf BibTex
titre
Logics for Unordered Trees with Data Constraints
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
Journal of Computer and System Sciences (JCSS), Elsevier, 2017, pp.40
Accès au bibtex
BibTex

Conference papers

titre
Equivalence of Symbolic Tree Transducers
auteur
Vincent Hugot, Adrien Boiret, Joachim Niehren
article
DLT 2017 - Developments in Language Theory, Aug 2017, Liege, Belgium. 105, pp.12, 2017, 〈10.1007/978-3-642-29709-0_32〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01517919/file/symbeq.pdf BibTex
titre
A Formally Verified Interpreter for a Shell-like Programming Language
auteur
Nicolas Jeannerod, Claude Marché, Ralf Treinen
article
VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. 10712, 2017, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01534747/file/jeannerod-marche-treinen-vstte17.pdf BibTex
titre
Le coquillage dans le CoLiS-mateur
auteur
Nicolas Jeannerod
article
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01432034/file/main.pdf BibTex

Reports

titre
Le langage CoLiS : syntaxe, sémantique et outillage
auteur
Ilham Dami, Claude Marché
article
[Rapport Technique] RT-0491, Inria Saclay Ile de France. 2017, pp.1-22
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01614488/file/RT-0491.pdf BibTex

Preprints, Working Papers, ...

titre
Having Fun With 31.521 Shell Scripts
auteur
Nicolas Jeannerod, Yann Régis-Gianas, Ralf Treinen
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01513750/file/main.pdf BibTex

2016

Conference papers

titre
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time
auteur
Adrien Boiret, Raphaela Palenta
article
20th International Conference on Developments in Language Theory (DLT 2016), Jul 2016, Montreal, Canada. Springer, Lecture Notes in Computer Science, 9840 pp.355-367, 2016, Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings. 〈10.1007/978-3-662-53132-7_29〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01429110/file/main.pdf BibTex

Reports

titre
A Formal Proof of a Unix Path Resolution Algorithm
auteur
Ran Chen, Martin Clochard, Claude Marché
article
[Research Report] RR-8987, Inria. 2016, pp.27
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406848/file/RR-8987.pdf BibTex

2015

Conference papers

titre
Logics for Unordered Trees with Data Constraints on Siblings
auteur
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
article
LATA : 9th International Conference on Language and Automata Theory and Applications, Mar 2015, Nice, France. pp.175-187, 〈http://grammars.grlmc.com/lata2015/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088761/file/paper_78.pdf BibTex