Overview

Full Product Details

Author:   Torben Ægidius Mogensen ,  Łukasz Mikulski
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2024 ed.
Volume:   14680
ISBN:  

9783031620751

ISBN 10:   3031620755
Pages:   247
Publication Date:   06 June 2024
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

.- 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions