Deterministic Automata for Unordered Trees

Autor: Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 161, Iss Proc. GandALF 2014, Pp 189-202 (2014)

Automata for unordered unranked trees are relevant for defining schemas and queries for data trees in Json or Xml format. While the existing notions are well-investigated concerning expressiveness, they all lack a proper notion of determinism, which

Externí odkaz: https://doaj.org/article/9c80b16a26c848a69226d39e5b55b9a5

Analysing installation scenarios of Debian packages

Autor: Mihaela Sighireanu, Nicolas Jeannerod, Claude Marché, Ralf Treinen, Yann Régis-Gianas, Benedikt Becker

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030452360
TACAS (2)
Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2020-26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2020-26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, The conference took place on-line, because it couldn't be held in Dublin, Ireland. pp.235-253, ⟨10.1007/978-3-030-45237-7_14⟩

The Debian distribution includes more than 28 thousand maintainer scripts, almost all of them are written in Posix shell. These scripts are executed with root privileges at installation, update, and removal of a package, which make them critical for

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::83781a0aa95ff8ec80f03f0f0b2d4b88
https://doi.org/10.1007/978-3-030-45237-7_14

Morbig: A Static parser for POSIX shell

Autor: Ralf Treinen, Nicolas Jeannerod, Yann Régis-Gianas

Publikováno v: Journal of Computer Languages. 57:100944

The POSIX shell language defies conventional wisdom of compiler construction on several levels: The shell language was not designed for static parsing, but with an intertwining of syntactic analysis and execution by expansion in mind. Token recogniti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::bcc4e99eef6741abc5514b3a456a63b7
https://doi.org/10.1016/j.cola.2020.100944

Deciding the First-Order Theory of an Algebra of Feature Trees with Updates

Autor: Nicolas Jeannerod, Ralf Treinen

Publikováno v: IJCAR 2018-9th International Joint Conference on Automated Reasoning
IJCAR 2018-9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom
Automated Reasoning ISBN: 9783319942049
IJCAR

International audience; We investigate a logic of an algebra of trees including the update operation, which expresses that a tree is obtained from an input tree by replacing a particular direct subtree of the input tree, while leaving the rest unchan

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::10661ff672cfe45f3b02c342f6b148e0
https://hal.archives-ouvertes.fr/hal-01807474

A Formally Verified Interpreter for a Shell-Like Programming Language

Autor: Claude Marché, Nicolas Jeannerod, Ralf Treinen

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319723075
VSTTE

The shell language is widely used for various system administration tasks on UNIX machines, as for instance as part of the installation process of software packages in FOSS distributions. Our mid-term goal is to analyze these scripts as part of an on

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b3f1b2b69ff54cc2c80ef37f201c5f1e
https://doi.org/10.1007/978-3-319-72308-2_1