Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
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⟩
96 View
84 Download

Share

Gmail Facebook X LinkedIn More