Filter your results
- 13
- 1
- 5
- 2
- 2
- 2
- 2
- 1
- 2
- 13
- 1
- 1
- 1
- 2
- 1
- 3
- 4
- 3
- 12
- 1
- 1
- 11
- 5
- 4
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 14
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
14 Results
|
|
sorted by
|
|
Specification of UNIX Utilities[Technical Report] ANR. 2019
Reports
hal-02321691v1
|
||
|
Morbig: A Static Parser for POSIX ShellSLE 2018 - ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. ⟨10.1145/3276604.3276615⟩
Conference papers
hal-01890044v1
|
||
|
Analysing installation scenarios of Debian packagesTACAS 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⟩
Conference papers
hal-02355602v2
|
||
|
Le coquillage dans le CoLiS-mateur JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Conference papers
hal-01432034v1
|
||
|
A Formally Verified Interpreter for a Shell-like Programming LanguageVSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany
Conference papers
hal-01534747v1
|
||
|
Verification of Shell scripts performing file hierarchy transformationsComputation and Language [cs.CL]. Université Paris Cité, 2021. English. ⟨NNT : 2021UNIP7178⟩
Theses
tel-03917971v1
|
||
|
The CoLiS Platform for the Analysis of Maintainer Scripts in Debian Software PackagesInternational Journal on Software Tools for Technology Transfer, 2022
Journal articles
hal-03737886v1
|
||
|
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates (Extended Version)2019
Preprints, Working Papers, ...
hal-01760575v2
|
||
|
Tracing intensive fish and meat consumption using Zn isotope ratios: evidence from a historical Breton population (Rennes, France)Scientific Reports, 2018, 8 (1), pp.5077. ⟨10.1038/s41598-018-23249-x⟩
Journal articles
hal-01851752v1
|
||
|
Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters[Technical Report] ANR. 2019
Reports
hal-02321743v1
|
||
Deciding the First-Order Theory of an Algebra of Feature Trees with UpdatesIJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom
Conference papers
hal-01807474v1
|
|||
|
Having Fun With 31.521 Shell Scripts2017
Preprints, Working Papers, ...
hal-01513750v1
|
||
|
Verification of Shell Scripts Performing File Hierarchy TransformationsLogic in Computer Science [cs.LO]. Université de Paris, 2021. English. ⟨NNT : ⟩
Theses
tel-03369452v1
|
||
|
MorbigSoftware hal-01897572v1 |