04087nam 22007215 450 991048870790332120251225174957.03-030-79837-210.1007/978-3-030-79837-6(CKB)5590000000516196(MiAaPQ)EBC6676013(Au-PeEL)EBL6676013(OCoLC)1257705930(PPN)257358765(BIP)80664730(BIP)80380714(DE-He213)978-3-030-79837-6(EXLCZ)99559000000051619620210622d2021 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierReversible Computation 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings /edited by Shigeru Yamashita, Tetsuo Yokoyama1st ed. 2021.Cham :Springer International Publishing :Imprint: Springer,2021.1 online resource (277 pages)Programming and Software Engineering,2945-9168 ;128053-030-79836-4 Invited Talks -- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton -- Variational Quantum Eigensolver and Its Applications -- Programming and Programming Languages -- Reversible Functional Array Programming -- Compiling Janus to RSSA -- Causal-Consistent Debugging of Distributed Erlang Programs -- Towards a Unified Language Architecture for Reversible Object-Oriented Programming -- Reversible Concurrent Computation -- Towards a truly concurrent semantics for reversible CCS -- Forward-Reverse Observational Equivalences in CCSK -- Explicit Identifiers and Contexts in Reversible Concurrent Calculus -- Reversibility and predictions -- Theory and Foundations -- A Tangled Web of 12 Lens Laws -- Splitting recursion schemes into reversible and classical interacting threads -- Reversibility of Executable Interval Temporal Logic Specifications -- Circuit Synthesis -- Efficient Construction of Functional Representations for QuantumAlgorithms -- Finding Optimal Implementations of Non-native CNOT Gates using SAT -- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network -- OR-Toffoli and OR-Peres Reversible Gates.This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis. .Programming and Software Engineering,2945-9168 ;12805Logic designComputers, Special purposeComputer scienceMicroprogrammingNatural language processing (Computer science)Logic DesignSpecial Purpose and Application-Based SystemsTheory of ComputationControl Structures and MicroprogrammingNatural Language Processing (NLP)Logic design.Computers, Special purpose.Computer science.Microprogramming.Natural language processing (Computer science)Logic Design.Special Purpose and Application-Based Systems.Theory of Computation.Control Structures and Microprogramming.Natural Language Processing (NLP).004Yamashita ShigeruYokoyama TetsuoMiAaPQMiAaPQMiAaPQBOOK9910488707903321Reversible Computation2889238UNINA