Quantum Loop Programs and Verification of Quantum Programs

Posted on 2023-06-03 Symbols count in article 69 words Reading time 1 mins.
  • SuBonan
Home - 文献阅读

到底为什么要叫做 “孤独地狱” 呢?当时他曾觉得该不会是标题搞错了吧?现在总算搞清楚了,能够理解了。所谓孤独,就是追求幻想而得不到满足的饥渴。

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

Edited on 2023-06-09 Views times
  • Post author: SuBonan @やがて、平凡な人になる
  • Post link: http://sugarsbn.github.io/2023/06/03/quantum-programs-and-verification/
  • Copyright Notice: All articles in this blog are licensed under (CC)BY-NC-SA unless stating additionally.
Previous Post - 数学杂记

Sublinear Algorithms

Next Post - 文献阅读

Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification

  • Quantum Loop Programs and Verification of Quantum Programs
  • Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
  • Algorithms for Dynamic Geometric Problems over Data Streams
  • Communication Complexity and Lower Bounds for Streaming Algorithm
  • A Quantum Interpretation of Bunched Logic And Quantum Separation Logic
  • Separation Logic Review
  • A Correctness and Incorrectness Program Logic
  • Computation & Programs
SuBonan

SuBonan

やがて、平凡な人になる
132 posts
10 categories
  • Home
  • About
  • Posts
    • Archives
    • Categories

Random Posts

  • - 数学杂记
    Fibration
  • - 量子计算
    Pretty Good Measurements and HSP
  • - 量子计算
    Coin Flipping
  • - 数学杂记
    Category Theory (Course Exercise Solutions)
  • - 计算机基础
    基数排序
  • - 数学杂记
    代数拓扑
  • - 量子计算
    GHZ Game
  • - 杂感
    纪念徐子焓
  • - 数学杂记
    复杂性中的一些结论(无证明)
  • - 数学杂记
    Category theory

Recent Comments

    © 2019 – 2026 SuBonan @ SuBonan
    Powered by Hexo & Theme.Shoka