Matches in SemOpenAlex for { <https://semopenalex.org/work/W4298283606> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4298283606 abstract "In this paper we explore the structure and applicability of the Distributed Measurement Calculus (DMC), an assembly language for distributed measurement-based quantum computations. We describe the formal language's syntax and semantics, both operational and denotational, and state several properties that are crucial to the practical usability of our language, such as equivalence of our semantics, as well as compositionality and context-freeness of DMC programs. We show how to put these properties to use by constructing a composite program that implements distributed controlled operations, in the knowledge that the semantics of this program does not change under the various composition operations. Our formal model is the basis of a quantum virtual machine construction for distributed quantum computations, which we elaborate upon in the latter part of this work. This virtual machine embodies the formal semantics of DMC such that programming execution no longer needs to be analysed by hand. Far from a literal translation, it requires a substantial concretisation of the formal model at the level of data structures, naming conventions and abstraction mechanisms. At the same time we provide automatisation techniques for program specification where possible to obtain an expressive and user-friendly programming environment." @default.
- W4298283606 created "2022-10-01" @default.
- W4298283606 creator A5038737675 @default.
- W4298283606 creator A5041169092 @default.
- W4298283606 date "2010-01-11" @default.
- W4298283606 modified "2023-09-30" @default.
- W4298283606 title "Distributed Quantum Programming" @default.
- W4298283606 doi "https://doi.org/10.48550/arxiv.1001.1722" @default.
- W4298283606 hasPublicationYear "2010" @default.
- W4298283606 type Work @default.
- W4298283606 citedByCount "0" @default.
- W4298283606 crossrefType "posted-content" @default.
- W4298283606 hasAuthorship W4298283606A5038737675 @default.
- W4298283606 hasAuthorship W4298283606A5041169092 @default.
- W4298283606 hasBestOaLocation W42982836061 @default.
- W4298283606 hasConcept C111472728 @default.
- W4298283606 hasConcept C121375916 @default.
- W4298283606 hasConcept C124304363 @default.
- W4298283606 hasConcept C138885662 @default.
- W4298283606 hasConcept C146499914 @default.
- W4298283606 hasConcept C150607116 @default.
- W4298283606 hasConcept C154945302 @default.
- W4298283606 hasConcept C156325763 @default.
- W4298283606 hasConcept C184337299 @default.
- W4298283606 hasConcept C18701968 @default.
- W4298283606 hasConcept C199305712 @default.
- W4298283606 hasConcept C199360897 @default.
- W4298283606 hasConcept C200065993 @default.
- W4298283606 hasConcept C207648694 @default.
- W4298283606 hasConcept C34165917 @default.
- W4298283606 hasConcept C41008148 @default.
- W4298283606 hasConcept C80444323 @default.
- W4298283606 hasConceptScore W4298283606C111472728 @default.
- W4298283606 hasConceptScore W4298283606C121375916 @default.
- W4298283606 hasConceptScore W4298283606C124304363 @default.
- W4298283606 hasConceptScore W4298283606C138885662 @default.
- W4298283606 hasConceptScore W4298283606C146499914 @default.
- W4298283606 hasConceptScore W4298283606C150607116 @default.
- W4298283606 hasConceptScore W4298283606C154945302 @default.
- W4298283606 hasConceptScore W4298283606C156325763 @default.
- W4298283606 hasConceptScore W4298283606C184337299 @default.
- W4298283606 hasConceptScore W4298283606C18701968 @default.
- W4298283606 hasConceptScore W4298283606C199305712 @default.
- W4298283606 hasConceptScore W4298283606C199360897 @default.
- W4298283606 hasConceptScore W4298283606C200065993 @default.
- W4298283606 hasConceptScore W4298283606C207648694 @default.
- W4298283606 hasConceptScore W4298283606C34165917 @default.
- W4298283606 hasConceptScore W4298283606C41008148 @default.
- W4298283606 hasConceptScore W4298283606C80444323 @default.
- W4298283606 hasLocation W42982836061 @default.
- W4298283606 hasLocation W42982836062 @default.
- W4298283606 hasLocation W42982836063 @default.
- W4298283606 hasOpenAccess W4298283606 @default.
- W4298283606 hasPrimaryLocation W42982836061 @default.
- W4298283606 hasRelatedWork W2007334542 @default.
- W4298283606 hasRelatedWork W2035082615 @default.
- W4298283606 hasRelatedWork W2124431509 @default.
- W4298283606 hasRelatedWork W2681723658 @default.
- W4298283606 hasRelatedWork W2738461706 @default.
- W4298283606 hasRelatedWork W2804733059 @default.
- W4298283606 hasRelatedWork W3000438711 @default.
- W4298283606 hasRelatedWork W3163637575 @default.
- W4298283606 hasRelatedWork W3183513857 @default.
- W4298283606 hasRelatedWork W783270985 @default.
- W4298283606 isParatext "false" @default.
- W4298283606 isRetracted "false" @default.
- W4298283606 workType "article" @default.