000 04108nam a22006135i 4500
001 978-3-030-79837-6
003 DE-He213
005 20240730180435.0
007 cr nn 008mamaa
008 210622s2021 sz | s |||| 0|eng d
020 _a9783030798376
_9978-3-030-79837-6
024 7 _a10.1007/978-3-030-79837-6
_2doi
050 4 _aQA76.9.L63
050 4 _aTK7888.4
072 7 _aUYF
_2bicssc
072 7 _aCOM036000
_2bisacsh
072 7 _aUYF
_2thema
082 0 4 _a621.395
_223
245 1 0 _aReversible Computation
_h[electronic resource] :
_b13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings /
_cedited by Shigeru Yamashita, Tetsuo Yokoyama.
250 _a1st ed. 2021.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2021.
300 _aXII, 275 p. 137 illus., 57 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v12805
505 0 _aInvited 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.
520 _aThis 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. .
650 0 _aLogic design.
_93686
650 0 _aComputers, Special purpose.
_946653
650 0 _aComputer science.
_99832
650 0 _aMicroprogramming .
_932081
650 0 _aNatural language processing (Computer science).
_94741
650 1 4 _aLogic Design.
_93686
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aTheory of Computation.
_9120246
650 2 4 _aControl Structures and Microprogramming.
_932083
650 2 4 _aNatural Language Processing (NLP).
_931587
700 1 _aYamashita, Shigeru.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120247
700 1 _aYokoyama, Tetsuo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9120248
710 2 _aSpringerLink (Online service)
_9120249
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030798369
776 0 8 _iPrinted edition:
_z9783030798383
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v12805
_9120250
856 4 0 _uhttps://doi.org/10.1007/978-3-030-79837-6
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c90327
_d90327