Imatge de la portada

Reversible Computation 16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings /

This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Toruń, Poland, during July 4–5, 2024. The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autor corporatiu: SpringerLink (Online service)
Altres autors: Mogensen, Torben Ægidius (Editor), Mikulski, Łukasz (Editor)
Format: Electrònic eBook
Idioma:anglès
Publicat: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edició:1st ed. 2024.
Col·lecció:Lecture Notes in Computer Science, 14680
Matèries:
Logic design.
Logic Design.
Accés en línia:https://doi.org/10.1007/978-3-031-62076-8
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Taula de continguts:
  • -- Invited Papers.
  • Causal Debugging for Concurrent Systems (Tutorial).
  • Compositional Reversible Computation.
  • Models of Reversible Computation.
  • Algorithmically expressive, always-terminating model for reversible computation.
  • A toy model provably featuring an arrow of time without past hypothesis.
  • Reversibility with holes.
  • Experiments in Reversible Programming.
  • Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware.
  • Towards Clean Reversible Lossless Compression. A Reversible Programming Experiment with Zip.
  • Reversible and Quantum Programming Languages.
  • A Small-Step Semantics for Janus.
  • Jeopardy: An Invertible Functional Programming Language.
  • LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper.
  • Connecting Reversible and Classical Computing through Hybrid SSA.
  • Synthesis, Verification, and Analysis of Reversible and Quantum Systems.
  • Concurrent RSSA for CRIL: Flow analysis for a concurrent reversible programming language.
  • Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?.
  • Model Checking Reversible Systems: Forwardly.
  • Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits.

Ítems similars