A Small-Step Semantics for Janus - Sound Programming of Adaptive Dependable Embedded Systems
Communication Dans Un Congrès Année : 2024

A Small-Step Semantics for Janus

Résumé

Janus is an imperative, sequential language for reversibility. While heavily studied in the reversibility literature, to the best of our knowledge, no small-step semantics for it exists. Hence, we propose a small-step semantics for Janus and we prove it equivalent to a big-step semantics from the literature, for programs that have no runtime errors and no divergence. Our main motivation is to enable a future extension of Janus with concurrency primitives, which is more easily defined on top of a small-step semantics. As additional feature, a small-step semantics allows one to more easily distinguish between failing and non-terminating computations.
Fichier principal
Vignette du fichier
published.pdf (1.52 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04610285 , version 1 (12-06-2024)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Pietro Lami, Ivan Lanese, Jean-Bernard Stefani. A Small-Step Semantics for Janus. RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.105 - 123, ⟨10.1007/978-3-031-62076-8_8⟩. ⟨hal-04610285⟩
130 Consultations
30 Téléchargements

Altmetric

Partager

More