Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12805)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: RC 2021.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
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
Table of contents (17 papers)
-
Programming and Programming Languages
-
Reversible Concurrent Computation
-
Circuit Synthesis
Other volumes
-
Reversible Computation
Editors and Affiliations
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)