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網(wǎng)絡(luò)公開度




書目名稱Reversible Computation網(wǎng)絡(luò)公開度學科排名




書目名稱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.

有其法作用

業(yè)余愛好者

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.