{
  "annotation_id": "60ee4397-bf97-490b-a1ad-a9c0b8407fa7",
  "date_created": "2026-03-02T18:02:20.688000Z",
  "date_modified": "2026-03-02T18:02:20.688000Z",
  "file_hash": "5a74b1276f6181365572b6d24267b6a62b6ffef04a76ba1f9688324471817234",
  "private": false,
  "record": {
    "abstract": "We present the quantum programming language cQPL which is an extended version\nof QPL [P. Selinger, Math. Struct. in Comp. Sci. 14(4):527-586, 2004]. It is\ncapable of quantum communication and it can be used to formulate all possible\nquantum algorithms. Additionally, it possesses a denotational semantics based\non a partial order of superoperators and uses fixed points on a generalised\nHilbert space to formalise (in addition to all standard features expected from\na quantum programming language) the exchange of classical and quantum data\nbetween an arbitrary number of participants. Additionally, we present the\nimplementation of a cQPL compiler which generates code for a quantum simulator.",
    "arxiv_id": "quant-ph/0511145",
    "authors": [
      "Wolfgang Mauerer"
    ],
    "categories": [
      "quant-ph",
      "cs.PL"
    ],
    "title": "Semantics and simulation of communication in quantum programming",
    "url": "https://arxiv.org/abs/quant-ph/0511145"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "21571bec-3a7f-4f03-b5f2-819e78f9669f",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}