@techreport{becker:hal-02321743, TITLE = {{Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters}}, AUTHOR = {Becker, Benedikt and Jeannerod, Nicolas and March{\'e}, Claude and Treinen, Ralf}, URL = {https://inria.hal.science/hal-02321743}, TYPE = {Technical Report}, INSTITUTION = {{ANR}}, YEAR = {2019}, MONTH = Oct, PDF = {https://inria.hal.science/hal-02321743/file/main.pdf}, HAL_ID = {hal-02321743}, HAL_VERSION = {v1}, }