Skip to Main content Skip to Navigation
Reports

Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters

Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/hal-02321743
Contributor : Claude Marché <>
Submitted on : Monday, October 21, 2019 - 2:45:30 PM
Last modification on : Tuesday, April 21, 2020 - 1:11:55 AM
Document(s) archivé(s) le : Wednesday, January 22, 2020 - 3:47:00 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02321743, version 1

Citation

Benedikt Becker, Nicolas Jeannerod, Claude Marché, Ralf Treinen. Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters. [Technical Report] ANR. 2019. ⟨hal-02321743⟩

Share

Metrics

Record views

72

Files downloads

205