Description
Reversible Computation, 1st ed. 2018
10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
Programming and Software Engineering Series
Coordinators: Kari Jarkko, Ulidowski Irek
Language: EnglishSubject for Reversible Computation:
Keywords
Artificial intelligence; Causal Reversibility; Circuit Design; Computer programming; Energy Efficiency; Hardware; Logic Synthesis; Physical Reversibility; Problem solving; Programming languages; Quantum Circuits; Quantum Computing; Reversible Arithmetic; Reversible Cellular Automata; Reversible Computing; Reversible Process Algebra; Reversible Programming Languages; Semantics; Software engineering; Wireless telecommunications systems
Support: Print on demand
Description
/li>Contents
/li>
This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.
The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications.
Reversible concurrent computation.- Quantum circuits.- Reversible programming languages.- Applications.