Book Details


Reversible Computation

Publication year: 2021

ISBN: 978-3-030-79837-6

Internet Resource: Please Login to download book

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.

Subject: computer science, array programming, automata theory, bidirectional transformation, causal consistency, debugging decision diagrams, embedded systems, formal logic, formal semantics, functional languages, object-oriented programming, parallel processing systems, process algebras and calculi, quantum circuit transformation, quantum computing, reversible cellular automaton, reversible process algebra, reversible programming languages, reversible Turing machine, signal processing, software engineering