 |
 |
 |
|
|
||
|---|---|---|
| hal-02321743v1
Reports
Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters [Technical Report] ANR. 2019 |
||
| hal-01432034v1
Conference papers
Le coquillage dans le CoLiS-mateur JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France |
||
| |
||
| |
||
| |
||
| hal-02355602v2
Conference papers
Analysing installation scenarios of Debian packages 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⟩ |
||
| hal-01890044v1
Conference papers
Morbig: A Static Parser for POSIX Shell SLE 2018 - ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. ⟨10.1145/3276604.3276615⟩ |
||
| hal-01534747v1
Conference papers
A Formally Verified Interpreter for a Shell-like Programming Language VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany |
||
|
|
||