8 results  save search


...
hal-01432034v1  Conference papers
Nicolas Jeannerod. Le coquillage dans le CoLiS-mateur
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
...
hal-01534747v1  Conference papers
Nicolas JeannerodClaude MarchéRalf Treinen. 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
...
hal-01890044v1  Conference papers
Yann Régis-GianasNicolas JeannerodRalf Treinen. 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⟩