Reversible Computation, Kartoniert / Broschiert

Klappentext

This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Torü, 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 submissions. They were organized in topical sections as follows: Models of Reversible Computation; Experiments in Reversible Programming; Reversible and Quantum Programming Languages; and Synthesis, Verification, and Analysis of Reversible and Quantum Systems.