Reversible Computation [electronic resource] :10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /
Contributor(s): Kari, Jarkko [editor.] | Ulidowski, Irek [editor.] | SpringerLink (Online service).Material type: BookSeries: Programming and Software Engineering: 11106Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Edition: 1st ed. 2018.Description: XIII, 353 p. 132 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319994987.Subject(s): Computer Science | Logic design | Artificial intelligence | Computer science | Computer Communication Networks | Software engineering | Logic Design | Artificial Intelligence | Programming Languages, Compilers, Interpreters | Computer Communication Networks | Software EngineeringOnline resources: Click here to access online
Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications.
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.