Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings /

This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited t...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Thomsen, Michael Kirkedal (Editor, http://id.loc.gov/vocabulary/relators/edt), Soeken, Mathias (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Series:Programming and Software Engineering ; 11497
Subjects:
Online Access:Full Text via HEAL-Link
Description
Summary:This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
Physical Description:VIII, 247 p. 315 illus., 24 illus. in color. online resource.
ISBN:9783030215002
DOI:10.1007/978-3-030-21500-2