Theoretical Computer Science and General Issues Lect.Notes ComputerState-of-the-Art Surveys
Open Access This content is freely available online to anyone, anywhere at any time.

Reversible Computation: Extending Horizons of Computing

Selected Results of the COST Action IC1405

Editors: Ulidowski, I., Lanese, I., Schultz, U., Ferreira, C. (Eds.)

Free Preview
  • Provides an overview of Reversible Computation (RC) area, written by internationally renowned scientists
  • Presents the results of the COST Action IC1405 Reversible Computation - extending horizons of computing
  • Discusses foundations, specific technical challenges, and potential applications in software and systems and reversible circuit design, validated via practical case studies
see more benefits

Buy this book

eBook  
  • ISBN 978-3-030-47361-7
  • This book is an open access book, you can download it for free on link.springer.com
Softcover $49.99
price for USA in USD
  • ISBN 978-3-030-47360-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019.

Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.


Table of contents (11 chapters)

Table of contents (11 chapters)
  • Foundations of Reversible Computation

    Pages 1-40

    Aman, Bogdan (et al.)

  • Software and Reversible Systems: A Survey of Recent Activities

    Pages 41-59

    Mezzina, Claudio Antares (et al.)

  • Simulation and Design of Quantum Circuits

    Pages 60-82

    Zulehner, Alwin (et al.)

  • Research on Reversible Functions Having Component Functions with Specified Properties: An Overview

    Pages 83-107

    Kerntopf, Paweł (et al.)

  • A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

    Pages 108-127

    Hoey, James (et al.)

Buy this book

eBook  
  • ISBN 978-3-030-47361-7
  • This book is an open access book, you can download it for free on link.springer.com
Softcover $49.99
price for USA in USD
  • ISBN 978-3-030-47360-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Reversible Computation: Extending Horizons of Computing
Book Subtitle
Selected Results of the COST Action IC1405
Editors
  • Irek Ulidowski
  • Ivan Lanese
  • Ulrik Schultz
  • Carla Ferreira
Series Title
Theoretical Computer Science and General Issues
Series Volume
12070
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
The Editor(s) (if applicable) and The Author(s)
eBook ISBN
978-3-030-47361-7
DOI
10.1007/978-3-030-47361-7
Softcover ISBN
978-3-030-47360-0
Edition Number
1
Number of Pages
XIV, 237
Number of Illustrations
121 b/w illustrations, 34 illustrations in colour
Topics