Reversible computation : 13th international conference, RC 2021, virtual event, July 7-8, 2021 : proceedings / Shigeru Yamashita, Tetsuo Yokoyama (eds.).
RC (Workshop : Reversible Computation) (13th : 2021 : Online); Yamashita, Shigeru (Professor of Computer Science), editor.; Yokoyama, Tetsuo, editor.
2021
QA76.9.R48 R3 2021
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Reversible computation : 13th international conference, RC 2021, virtual event, July 7-8, 2021 : proceedings / Shigeru Yamashita, Tetsuo Yokoyama (eds.).
Meeting Name RC (Workshop : Reversible Computation) (13th : 2021 : Online)
ISBN 9783030798376 (electronic bk.)
3030798372 (electronic bk.)
9783030798369
3030798364
DOI https://doi.org/10.1007/978-3-030-79837-6
Published Cham : Springer, [2021]
Copyright ©2021
Language English
Description 1 online resource : illustrations (some color)
Other Standard Identifiers 10.1007/978-3-030-79837-6 doi
Call Number QA76.9.R48 R3 2021
Dewey Decimal Classification 004
Summary This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. 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.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed July 1, 2021).
Added Author Yamashita, Shigeru (Professor of Computer Science), editor.
Yokoyama, Tetsuo, editor.
Series Lecture notes in computer science ; 12805.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Invited Talks
How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton
Variational Quantum Eigensolver and Its Applications
Programming and Programming Languages
Reversible Functional Array Programming
Compiling Janus to RSSA
Causal-Consistent Debugging of Distributed Erlang Programs
Towards a Unified Language Architecture for Reversible Object-Oriented Programming
Reversible Concurrent Computation
Towards a truly concurrent semantics for reversible CCS
Forward-Reverse Observational Equivalences in CCSK
Explicit Identifiers and Contexts in Reversible Concurrent Calculus
Reversibility and predictions
Theory and Foundations
A Tangled Web of 12 Lens Laws
Splitting recursion schemes into reversible and classical interacting threads
Reversibility of Executable Interval Temporal Logic Specifications
Circuit Synthesis
Efficient Construction of Functional Representations for Quantum Algorithms
Finding Optimal Implementations of Non-native CNOT Gates using SAT
Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network
OR-Toffoli and OR-Peres Reversible Gates.

Browse Subjects

Show more subjects...

Statistics

from
to
Export