Matches in SemOpenAlex for { <https://semopenalex.org/work/W3033997567> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3033997567 abstract "Existing quantum languages force the programmer to work at a low level of abstraction leading to unintuitive and cluttered code. A fundamental reason is that dropping temporary values from the program state requires explicitly applying quantum operations that safely uncompute these values. We present Silq, the first quantum language that addresses this challenge by supporting safe, automatic uncomputation. This enables an intuitive semantics that implicitly drops temporary values, as in classical computation. To ensure physicality of Silq's semantics, its type system leverages novel annotations to reject unphysical programs. Our experimental evaluation demonstrates that Silq programs are not only easier to read and write, but also significantly shorter than equivalent programs in other quantum languages (on average -46% for Q#, -38% for Quipper), while using only half the number of quantum primitives." @default.
- W3033997567 created "2020-06-12" @default.
- W3033997567 creator A5045044745 @default.
- W3033997567 creator A5052782390 @default.
- W3033997567 creator A5069901599 @default.
- W3033997567 creator A5074409480 @default.
- W3033997567 date "2020-06-06" @default.
- W3033997567 modified "2023-10-17" @default.
- W3033997567 title "Silq: a high-level quantum language with safe uncomputation and intuitive semantics" @default.
- W3033997567 cites W1492999010 @default.
- W3033997567 cites W1537615043 @default.
- W3033997567 cites W1559984405 @default.
- W3033997567 cites W1981783889 @default.
- W3033997567 cites W1988369744 @default.
- W3033997567 cites W1999626800 @default.
- W3033997567 cites W2035627701 @default.
- W3033997567 cites W2084652510 @default.
- W3033997567 cites W2105259569 @default.
- W3033997567 cites W2145862486 @default.
- W3033997567 cites W2160347025 @default.
- W3033997567 cites W2302430074 @default.
- W3033997567 cites W2336770924 @default.
- W3033997567 cites W2521267242 @default.
- W3033997567 cites W2563269605 @default.
- W3033997567 cites W2566002283 @default.
- W3033997567 cites W2949686459 @default.
- W3033997567 cites W3102773744 @default.
- W3033997567 doi "https://doi.org/10.1145/3385412.3386007" @default.
- W3033997567 hasPublicationYear "2020" @default.
- W3033997567 type Work @default.
- W3033997567 sameAs 3033997567 @default.
- W3033997567 citedByCount "65" @default.
- W3033997567 countsByYear W30339975672020 @default.
- W3033997567 countsByYear W30339975672021 @default.
- W3033997567 countsByYear W30339975672022 @default.
- W3033997567 countsByYear W30339975672023 @default.
- W3033997567 crossrefType "proceedings-article" @default.
- W3033997567 hasAuthorship W3033997567A5045044745 @default.
- W3033997567 hasAuthorship W3033997567A5052782390 @default.
- W3033997567 hasAuthorship W3033997567A5069901599 @default.
- W3033997567 hasAuthorship W3033997567A5074409480 @default.
- W3033997567 hasConcept C111472728 @default.
- W3033997567 hasConcept C121332964 @default.
- W3033997567 hasConcept C124304363 @default.
- W3033997567 hasConcept C138885662 @default.
- W3033997567 hasConcept C156325763 @default.
- W3033997567 hasConcept C184337299 @default.
- W3033997567 hasConcept C199360897 @default.
- W3033997567 hasConcept C2778514511 @default.
- W3033997567 hasConcept C41008148 @default.
- W3033997567 hasConcept C48103436 @default.
- W3033997567 hasConcept C58053490 @default.
- W3033997567 hasConcept C62520636 @default.
- W3033997567 hasConcept C80444323 @default.
- W3033997567 hasConcept C84114770 @default.
- W3033997567 hasConceptScore W3033997567C111472728 @default.
- W3033997567 hasConceptScore W3033997567C121332964 @default.
- W3033997567 hasConceptScore W3033997567C124304363 @default.
- W3033997567 hasConceptScore W3033997567C138885662 @default.
- W3033997567 hasConceptScore W3033997567C156325763 @default.
- W3033997567 hasConceptScore W3033997567C184337299 @default.
- W3033997567 hasConceptScore W3033997567C199360897 @default.
- W3033997567 hasConceptScore W3033997567C2778514511 @default.
- W3033997567 hasConceptScore W3033997567C41008148 @default.
- W3033997567 hasConceptScore W3033997567C48103436 @default.
- W3033997567 hasConceptScore W3033997567C58053490 @default.
- W3033997567 hasConceptScore W3033997567C62520636 @default.
- W3033997567 hasConceptScore W3033997567C80444323 @default.
- W3033997567 hasConceptScore W3033997567C84114770 @default.
- W3033997567 hasLocation W30339975671 @default.
- W3033997567 hasOpenAccess W3033997567 @default.
- W3033997567 hasPrimaryLocation W30339975671 @default.
- W3033997567 hasRelatedWork W11612722 @default.
- W3033997567 hasRelatedWork W12601726 @default.
- W3033997567 hasRelatedWork W1331764 @default.
- W3033997567 hasRelatedWork W14334640 @default.
- W3033997567 hasRelatedWork W4334996 @default.
- W3033997567 hasRelatedWork W5198760 @default.
- W3033997567 hasRelatedWork W7030020 @default.
- W3033997567 hasRelatedWork W7943451 @default.
- W3033997567 hasRelatedWork W8053157 @default.
- W3033997567 hasRelatedWork W10042895 @default.
- W3033997567 isParatext "false" @default.
- W3033997567 isRetracted "false" @default.
- W3033997567 magId "3033997567" @default.
- W3033997567 workType "article" @default.