Titlebook: Reversible Computation; 12th International C Ivan Lanese,Mariusz Rawski Conference proceedings 2020 Springer Nature Switzerland AG 2020 art

宣告无效

书目名称Reversible Computation影响因子(影响力)




书目名称Reversible Computation影响因子(影响力)学科排名




书目名称Reversible Computation网络公开度




书目名称Reversible Computation网络公开度学科排名




书目名称Reversible Computation被引频次




书目名称Reversible Computation被引频次学科排名




书目名称Reversible Computation年度引用




书目名称Reversible Computation年度引用学科排名




书目名称Reversible Computation读者反馈




书目名称Reversible Computation读者反馈学科排名

变形

Limited

armistice

安抚

Toward a Curry-Howard Equivalence for Linear, Reversible Computationood. Moreover, models for reasoning about quantum algorithms only provide complex types for classical datatypes: there are usually no types for purely quantum objects beside tensors of quantum bits. This work is a first step towards understanding purely quantum recursive types.

有其法作用

业余爱好者

Hermes: A Language for Light-Weight Encryptioning that operations on secret data spend time independent of the value of this data, thus preventing timing-based attacks. We show a complete formal specification of Hermes, argue absence of timing-based attacks (under reasonable assumptions), and compare implementations of well-known light-weight encryption algorithms in Hermes and C.

musicologist

A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipperhow how dependent types enable programming families of circuits, and how dependent types solve the problem of type-safe uncomputation of garbage qubits. We also discuss other language features along the way.

留恋

HUSH

Search-Based Transformation Synthesis for 3-Valued Reversible Circuitsor all 2-input 3-valued functions show the effectiveness of the new approaches compared to earlier transformation-based synthesis approaches. Other examples are given to show both the effectiveness and limitations of the new approach which point to a number of key areas for further research.