Reports (Technical Report) Year : 2019

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

Fichier principal
Vignette du fichier
main.pdf (213.36 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-02321743 , version 1 (21-10-2019)

Identifiers

  • HAL Id : hal-02321743 , version 1

Cite

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⟩
168 View
108 Download

Share

More