Zobrazeno 1 - 10 of 10 pro vyhledávání: '"Jeannerod, Nicolas"'
1
Akademický článek
Morbig: A Static parser for POSIX shell
Autor: Régis-Gianas, Yann, Jeannerod, Nicolas, Treinen, Ralf
Publikováno v: In Journal of Computer Languages April 2020 57
Zobrazit plný text záznamu
2
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
3
Vérification de scripts Shell effectuant des transformations de système de fichiers hiérarchiques
Autor: Jeannerod, Nicolas
Publikováno v: Logic in Computer Science [cs.LO]. Université de Paris, 2021. English
This thesis aims at applying techniques from deductive program verification and analysis of tree transformations to the problem of analysing Shell scripts. In particular, we aim at analysing Shell scripts that are used in software installation in the
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::11d90e461b552618555ba92a7062b933
https://hal.archives-ouvertes.fr/tel-03369452/document
Zobrazit plný text záznamu
4
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates (Extended Version)
Autor: Jeannerod, Nicolas, Treinen, Ralf
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 unchanged. This operation impr
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f8a8b1b173381bcabdff6770c86a91f1
https://hal.archives-ouvertes.fr/hal-01760575/file/extended.pdf
Zobrazit plný text záznamu
7
Le coquillage dans le CoLiS-mateur
Autor: Jeannerod, Nicolas
The shell language is widely used for installing software packages in Unix distributions. Our mid-term goal is to analyze the correctness of such scripts. However, the shell's syntax and semantics are particularily treacherous. A formal description o
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______166::a53ceb974215a08cadcda2ca20a30245
https://hal.archives-ouvertes.fr/hal-01432034
Zobrazit plný text záznamu
8
Having Fun With 31.521 Shell Scripts
Autor: Jeannerod, Nicolas, Régis-Gianas, Yann, Treinen, Ralf
Statically parsing shell scripts is, due to various peculiarities of the shell language, a challenge. One of the difficulties is that the shell language is designed to be executed by intertwining reading chunks of syntax with semantic actions. We hav
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::52448384ae740768d44a5754956dfb99
https://hal.archives-ouvertes.fr/hal-01513750/document
Zobrazit plný text záznamu
9
Formalizing a shell-like programming language
Autor: Jeannerod, Nicolas
Publikováno v: JFLA 2017-Vingt-huitième Journées Francophones des Langages Applicatifs
JFLA 2017-Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
National audience; The shell language is widely used for installing software packages in Unix distributions. Our mid-term goal is to analyze the correctness of such scripts. However, the shell's syntax and semantics are particularily treacherous. A f
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::a53ceb974215a08cadcda2ca20a30245
https://hal.archives-ouvertes.fr/hal-01432034/document
Zobrazit plný text záznamu
10
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
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje