Generation of a reversible semantics for Erlang in Maude - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2022

Generation of a reversible semantics for Erlang in Maude

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
RR-9468.pdf (673.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Giovanni Fabbretti  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03630407

Soumis le : mardi 5 avril 2022-08:53:22

Dernière modification le : jeudi 14 décembre 2023-13:56:06

Archivage à long terme le : mercredi 6 juillet 2022-18:05:58

Télécharger pour visualiser

Dates et versions

hal-03630407 , version 1 (05-04-2022)
hal-03630407 , version 2 (06-04-2022)
hal-03630407 , version 3 (02-06-2022)

Identifiants

  • HAL Id : hal-03630407 , version 1

Citer

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. Generation of a reversible semantics for Erlang in Maude. [Research Report] RR-9468, Inria - Research Centre Grenoble – Rhône-Alpes. 2022. ⟨hal-03630407v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
126 Consultations
137 Téléchargements

Partager

Gmail Facebook X LinkedIn More