Matches in SemOpenAlex for { <https://semopenalex.org/work/W2941082703> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2941082703 abstract "We present sqire, a low-level language for quantum computing and verification. sqire uses a global register of quantum bits, allowing easy compilation to and from existing `quantum assembly' languages and simplifying the verification process. We demonstrate the power of sqire as an intermediate representation of quantum programs by verifying a number of useful optimizations, and we demonstrate sqire's use as a tool for general verification by proving several quantum programs correct." @default.
- W2941082703 created "2019-05-03" @default.
- W2941082703 creator A5002449883 @default.
- W2941082703 creator A5019477030 @default.
- W2941082703 creator A5044901410 @default.
- W2941082703 creator A5046625836 @default.
- W2941082703 creator A5047791454 @default.
- W2941082703 date "2019-04-12" @default.
- W2941082703 modified "2023-09-27" @default.
- W2941082703 title "Verified Optimization in a Quantum Intermediate Representation" @default.
- W2941082703 cites W1999626800 @default.
- W2941082703 cites W2009464583 @default.
- W2941082703 cites W2023675295 @default.
- W2941082703 cites W2044357043 @default.
- W2941082703 cites W2046826122 @default.
- W2941082703 cites W2050334794 @default.
- W2941082703 cites W2098456636 @default.
- W2941082703 cites W2154434103 @default.
- W2941082703 cites W2160347025 @default.
- W2941082703 cites W2517008720 @default.
- W2941082703 cites W2563269605 @default.
- W2941082703 cites W2568721247 @default.
- W2941082703 cites W2734474749 @default.
- W2941082703 cites W2786476345 @default.
- W2941082703 cites W2912352268 @default.
- W2941082703 cites W2923563164 @default.
- W2941082703 cites W2964026084 @default.
- W2941082703 cites W3126077699 @default.
- W2941082703 cites W3126124413 @default.
- W2941082703 cites W3105080542 @default.
- W2941082703 hasPublicationYear "2019" @default.
- W2941082703 type Work @default.
- W2941082703 sameAs 2941082703 @default.
- W2941082703 citedByCount "6" @default.
- W2941082703 countsByYear W29410827032019 @default.
- W2941082703 countsByYear W29410827032020 @default.
- W2941082703 countsByYear W29410827032021 @default.
- W2941082703 crossrefType "posted-content" @default.
- W2941082703 hasAuthorship W2941082703A5002449883 @default.
- W2941082703 hasAuthorship W2941082703A5019477030 @default.
- W2941082703 hasAuthorship W2941082703A5044901410 @default.
- W2941082703 hasAuthorship W2941082703A5046625836 @default.
- W2941082703 hasAuthorship W2941082703A5047791454 @default.
- W2941082703 hasConcept C113775141 @default.
- W2941082703 hasConcept C11413529 @default.
- W2941082703 hasConcept C121332964 @default.
- W2941082703 hasConcept C137019171 @default.
- W2941082703 hasConcept C17744445 @default.
- W2941082703 hasConcept C199360897 @default.
- W2941082703 hasConcept C199539241 @default.
- W2941082703 hasConcept C2776359362 @default.
- W2941082703 hasConcept C41008148 @default.
- W2941082703 hasConcept C62520636 @default.
- W2941082703 hasConcept C80444323 @default.
- W2941082703 hasConcept C84114770 @default.
- W2941082703 hasConcept C94625758 @default.
- W2941082703 hasConcept C98045186 @default.
- W2941082703 hasConceptScore W2941082703C113775141 @default.
- W2941082703 hasConceptScore W2941082703C11413529 @default.
- W2941082703 hasConceptScore W2941082703C121332964 @default.
- W2941082703 hasConceptScore W2941082703C137019171 @default.
- W2941082703 hasConceptScore W2941082703C17744445 @default.
- W2941082703 hasConceptScore W2941082703C199360897 @default.
- W2941082703 hasConceptScore W2941082703C199539241 @default.
- W2941082703 hasConceptScore W2941082703C2776359362 @default.
- W2941082703 hasConceptScore W2941082703C41008148 @default.
- W2941082703 hasConceptScore W2941082703C62520636 @default.
- W2941082703 hasConceptScore W2941082703C80444323 @default.
- W2941082703 hasConceptScore W2941082703C84114770 @default.
- W2941082703 hasConceptScore W2941082703C94625758 @default.
- W2941082703 hasConceptScore W2941082703C98045186 @default.
- W2941082703 hasLocation W29410827031 @default.
- W2941082703 hasOpenAccess W2941082703 @default.
- W2941082703 hasPrimaryLocation W29410827031 @default.
- W2941082703 hasRelatedWork W101497066 @default.
- W2941082703 hasRelatedWork W1482037584 @default.
- W2941082703 hasRelatedWork W1574193488 @default.
- W2941082703 hasRelatedWork W1644782203 @default.
- W2941082703 hasRelatedWork W1731145829 @default.
- W2941082703 hasRelatedWork W1853715199 @default.
- W2941082703 hasRelatedWork W2045112813 @default.
- W2941082703 hasRelatedWork W2069520832 @default.
- W2941082703 hasRelatedWork W2086703390 @default.
- W2941082703 hasRelatedWork W2137313863 @default.
- W2941082703 hasRelatedWork W2169459189 @default.
- W2941082703 hasRelatedWork W2274499187 @default.
- W2941082703 hasRelatedWork W2318396582 @default.
- W2941082703 hasRelatedWork W2465986318 @default.
- W2941082703 hasRelatedWork W2616886744 @default.
- W2941082703 hasRelatedWork W295290875 @default.
- W2941082703 hasRelatedWork W2962748773 @default.
- W2941082703 hasRelatedWork W3031850694 @default.
- W2941082703 hasRelatedWork W3136504866 @default.
- W2941082703 hasRelatedWork W59785199 @default.
- W2941082703 isParatext "false" @default.
- W2941082703 isRetracted "false" @default.
- W2941082703 magId "2941082703" @default.
- W2941082703 workType "article" @default.