| 1 |
A Formally Verified Interpreter for a Shell-like Programming Language
|
|
|
|
In: VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments ; https://hal.archives-ouvertes.fr/hal-01534747 ; VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany (2017)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Le coquillage dans le CoLiS-mateur ; : Formalizing a shell-like programming language ; Le coquillage dans le CoLiS-mateur: Formalisation d'un langage de programmation de type shell
|
|
|
|
In: JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs ; https://hal.archives-ouvertes.fr/hal-01432034 ; JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France (2017)
|
|
BASE
|
|
Show details
|
|
|
|
|
