Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters
Origin | Files produced by the author(s) |
---|
INRIA.HAL.SCIENCE Web Portal Publications, software... of Inria fellow Academics |
Origin | Files produced by the author(s) |
---|
Claude Marché : Connect in order to contact the contributor
https://inria.hal.science/hal-02321743
Submitted on : Monday, October 21, 2019-2:45:30 PM
Last modification on : Friday, December 6, 2024-3:19:53 AM
Long-term archiving on : Wednesday, January 22, 2020-3:47:00 PM