@techreport{dami:hal-01614488, TITLE = {{Le langage CoLiS : syntaxe, s{\'e}mantique et outillage}}, AUTHOR = {Dami, Ilham and March{\'e}, Claude}, URL = {https://inria.hal.science/hal-01614488}, TYPE = {Technical Report}, NUMBER = {RT-0491}, PAGES = {1-22}, INSTITUTION = {{Inria Saclay Ile de France}}, YEAR = {2017}, MONTH = Oct, KEYWORDS = {shell scripts ; formal operatio... ; Unix command in... ; s{\'e}mantique op{\'e}r... ; scripts shell ; Interpr{\'e}teur de...}, PDF = {https://inria.hal.science/hal-01614488/file/RT-0491.pdf}, HAL_ID = {hal-01614488}, HAL_VERSION = {v1}, }