05104nam 22007575 450 99646600630331620200703135017.03-319-40578-010.1007/978-3-319-40578-0(CKB)3710000000734813(DE-He213)978-3-319-40578-0(MiAaPQ)EBC6303740(MiAaPQ)EBC5596242(Au-PeEL)EBL5596242(OCoLC)953143169(PPN)194378497(EXLCZ)99371000000073481320160629d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierReversible Computation[electronic resource] 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /edited by Simon Devitt, Ivan Lanese1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XIII, 339 p. 109 illus.) Programming and Software Engineering ;97203-319-40577-2 Process Calculi -- Rigid Families for the Reversible pi-calculus -- A calculus for local reversibility -- Static VS Dynamic Reversibility in CCS -- Reversing Single Sessions -- Reversible Models -- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible Computation vs. Reversibility in Petri Nets -- Programming Languages -- Energy Efficient Language and Compiler for (Partially) Reversible Algorithms -- Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation -- Quaglia -- Elements of a Reversible Object-Oriented Language -- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs -- Quantum Computing -- Design and Fabrication of CSWAP Gate Based on Nanoelectromechanical Systems -- Design of p-valued Deutsch quantum gates with multiple control signals and mixed polarity -- Using pi-DDsforNearestNeighborOptimizationofQuantumCircuits -- Quantum Programming -- Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits -- Towards Quantum Programs Verification: From Quipper Circuits to QPMC -- Circuit Theory -- Application of Permutation Group Theory in Reversible Logic Synthesis -- Strongly Universal Reversible Gate Sets -- Enumeration of reversible functions and its application to circuit complexity -- A finite alternation result for reversible Boolean circuits -- Syntheses -- Generating reversible circuits from higher-order functional programs -- A fast symbolic transformation based algorithm for reversible logic synthesis.-Checking Reversibility of Boolean Functions. .This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; quantum programming; circuit theory; and syntheses. .Programming and Software Engineering ;9720Logic designComputer logicProgramming languages (Electronic computers)Quantum computersComputersAlgorithmsLogic Designhttps://scigraph.springernature.com/ontologies/product-market-codes/I12050Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Quantum Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/M14070Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Logic design.Computer logic.Programming languages (Electronic computers).Quantum computers.Computers.Algorithms.Logic Design.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Quantum Computing.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.004Devitt Simonedthttp://id.loc.gov/vocabulary/relators/edtLanese Ivanedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466006303316Reversible Computation2036156UNISA