Verkauf durch Sack Fachmedien

Yokoyama / Yamashita

Reversible Computation

13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings

Medium: Buch
ISBN: 978-3-030-79836-9
Verlag: Springer International Publishing
Erscheinungstermin: 23.06.2021
Lieferfrist: bis zu 10 Tage

This book constitutes the refereed proceedings of the 13 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.


Produkteigenschaften


  • Artikelnummer: 9783030798369
  • Medium: Buch
  • ISBN: 978-3-030-79836-9
  • Verlag: Springer International Publishing
  • Erscheinungstermin: 23.06.2021
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2021
  • Serie: Programming and Software Engineering
  • Produktform: Kartoniert
  • Gewicht: 441 g
  • Seiten: 275
  • Format (B x H x T): 155 x 235 x 16 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

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 QuantumAlgorithms.- 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.