Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12805)
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 2021.
Buying options
This is a preview of subscription content, access via your institution.
Table of contents (17 papers)
-
Front Matter
-
Programming and Programming Languages
-
Front Matter
-
-
Reversible Concurrent Computation
-
Front Matter
-
-
Circuit Synthesis
-
Front Matter
-
About this book
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.
Keywords
- 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
- reversible process algebra
- reversible programming languages
- reversible Turing machine
- signal processing
- software engineering
Editors and Affiliations
-
Ritsumeikan University, Kusatsu, Japan
Shigeru Yamashita
-
Nanzan University, Nagoya, Japan
Tetsuo Yokoyama
Bibliographic Information
Book Title: Reversible Computation
Book Subtitle: 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings
Editors: Shigeru Yamashita, Tetsuo Yokoyama
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-79837-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-79836-9Published: 23 June 2021
eBook ISBN: 978-3-030-79837-6Published: 22 June 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 275
Number of Illustrations: 80 b/w illustrations, 57 illustrations in colour
Topics: Logic Design, Special Purpose and Application-Based Systems, Theory of Computation, Control Structures and Microprogramming, Natural Language Processing (NLP)