Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9720)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): RC: International Conference on Reversible Computation
Conference proceedings info: RC 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (23 papers)
-
Front Matter
-
Programming Languages
-
Front Matter
-
-
Quantum Programming
-
Front Matter
-
About this book
This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.
The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; quantum programming; circuit theory; and syntheses.
Keywords
- algorithms
- automata theory
- circuit complexity
- formal Logic
- formal methods
- logic design
- model checking
- operational semantics
- process calculi
- programming languages
- quantum circuits
- quantum computing
- reversible computing
- reversible models
- software engineering
- software validation
- software verification
- algorithm analysis and problem complexity
Editors and Affiliations
-
National Institute of Informatics, Tokyo, Japan
Simon Devitt
-
University of Bologna/Inria, Bologna, Italy
Ivan Lanese
Bibliographic Information
Book Title: Reversible Computation
Book Subtitle: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Editors: Simon Devitt, Ivan Lanese
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-40578-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-40577-3Published: 30 June 2016
eBook ISBN: 978-3-319-40578-0Published: 29 June 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 339
Number of Illustrations: 109 b/w illustrations
Topics: Logic Design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Quantum Computing, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity