Reversible Computation
13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Shigeru Yamashita
Themen in »Reversible Computation«
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