Concepedia

Quantum Programming Semantics

Quantum Programming Semantics is a formal framework within the domain of quantum computing that specifies the meaning of quantum programming constructs by rigorously defining the behavior of quantum operations, state transformations, and entanglement dynamics under computational and probabilistic interpretations.

113

Publications

5.3K

Citations

224

Authors

116

Institutions

Publications per year

2017–2026

46

Parents

Publications

113

Towards a quantum programming language

Peter Selinger · Mathematical Structures in Computer Science · 2004 · 496 citations

, , +14

Quantum automata and quantum grammars

Cristopher Moore, James P. Crutchfield · Theoretical Computer Science · 2000 · 426 citations

, , +13

A case study in programming a quantum annealer for hard operational planning problems

Eleanor Rieffel, Davide Venturelli, Bryan O’Gorman et al. · Quantum Information Processing · 2014 · 222 citations · Full text

, , +13

A functional quantum programming language

Nottingham ePrints (University of Nottingham) · 2004 · 195 citations

, , +14

Floyd--hoare logic for quantum programs

Mingsheng Ying · ACM Transactions on Programming Languages and Systems · 2011 · 184 citations · Full text

, , +16

1–5 of 113

Authors

224

  1. MY
    Mingsheng Ying

    Tsinghua University, China

    15 publications · 529 citations

    12

    h-index

  2. NY
    Nengkun Yu

    University of Technology Sydney, Australia

    7 publications · 189 citations

    8

    h-index

  3. PS
    Peter Selinger

    Dalhousie University, Canada

    8 publications · 694 citations

    8

    h-index

  4. YF
    Yuan Feng

    Tsinghua University, China

    7 publications · 182 citations

    7

    h-index

  5. LZ
    Li Zhou

    Tsinghua University, China

    6 publications · 119 citations

    6

    h-index

1–5 of 224

Institutions

116

  1. Tsinghua University

    Beijing, China

    14 h-index

    27 publications

    958 citations

  2. University of Technology Sydney

    Sydney, Australia

    12 h-index

    23 publications

    566 citations

  3. Chinese Academy of Sciences

    Beijing, China

    10 h-index

    17 publications

    387 citations

  4. Institute of Software

    Beijing, China

    10 h-index

    18 publications

    418 citations

  5. Centre for Quantum Computation and Communication Technology

    Sydney, Australia

    7 h-index

    13 publications

    258 citations

  6. Dalhousie University

    Halifax, Canada

    6 h-index

    11 publications

    316 citations

  7. Radboud University Nijmegen

    Nijmegen, The Netherlands

    5 h-index

    6 publications

    133 citations

  8. Max Planck Institute for Security and Privacy

    Bochum, Germany

    5 h-index

    6 publications

    137 citations

1–8 of 116

Venues

  1. arXiv (Cornell University)

    Repository · 8 publications · 238 citations

    8

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 8 publications · 199 citations

    8

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 7 publications · 202 citations

    7

    h-index

  4. 4

    h-index

  5. ArXiv.org

    Repository · 4 publications · 54 citations

    4

    h-index

1–5