Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

A Small-Step Semantics for Janus

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • المؤلفون: Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard
  • المصدر:
    Lecture notes in computer science ; RC 2024 - 16th International Conference on Reversible Computation ; https://inria.hal.science/hal-04610285 ; RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.105 - 123, ⟨10.1007/978-3-031-62076-8_8⟩ ; https://link.springer.com/book/10.1007/978-3-031-62076-8
  • الموضوع:
    [INFO]Computer Science [cs]
  • نوع التسجيلة:
    conference object
  • اللغة:
    English
  • معلومة اضافية
    • Contributors:
      Sound Programming of Adaptive Dependable Embedded Systems (SPADES); Inria Grenoble - Rhône-Alpes; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG); Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ); Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ); Université Grenoble Alpes (UGA); Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS); Inria Sophia Antipolis - Méditerranée (CRISAM); Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria Bologna (DISI); Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)-Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO); Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO); ANR-18-CE25-0007,DCore,Debogage causal pour systèmes concurrents(2018)
    • بيانات النشر:
      HAL CCSD
      Springer
    • الموضوع:
      2024
    • Collection:
      Université Grenoble Alpes: HAL
    • الموضوع:
      Torun; Poland
    • نبذة مختصرة :
      International audience ; 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.
    • Relation:
      hal-04610285; https://inria.hal.science/hal-04610285; https://inria.hal.science/hal-04610285/document; https://inria.hal.science/hal-04610285/file/published.pdf
    • الرقم المعرف:
      10.1007/978-3-031-62076-8_8
    • Rights:
      http://hal.archives-ouvertes.fr/licences/copyright/ ; info:eu-repo/semantics/OpenAccess
    • الرقم المعرف:
      edsbas.13B0FEC1