Matches in SemOpenAlex for { <https://semopenalex.org/work/W4311034891> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4311034891 abstract "Abstract interpretation, Hoare logic, and incorrectness (or reverse Hoare) logic are powerful techniques for static analysis of computer programs. All of them have been successfully extended to the quantum setting, but largely developed in parallel. In this paper, we examine the relationship between these techniques in the context of verifying quantum while-programs, where the abstract domain and the set of assertions for quantum states are well-structured. In particular, we show that any complete quantum abstract interpretation induces a quantum Hoare logic and a quantum incorrectness logic, both of which are sound and relatively complete. Unlike the logics proposed in the literature, the induced logic systems are in a forward manner, making them more useful in certain applications. Conversely, any sound and relatively complete quantum Hoare logic or quantum incorrectness logic induces a complete quantum abstract interpretation. As an application, we are able to show the non-existence of any sound and relatively complete quantum Hoare logic or incorrectness logic if tuples of local subspaces are taken as assertions." @default.
- W4311034891 created "2022-12-22" @default.
- W4311034891 creator A5039084645 @default.
- W4311034891 creator A5083431971 @default.
- W4311034891 date "2022-06-28" @default.
- W4311034891 modified "2023-10-17" @default.
- W4311034891 title "Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs" @default.
- W4311034891 doi "https://doi.org/10.48550/arxiv.2206.13772" @default.
- W4311034891 hasPublicationYear "2022" @default.
- W4311034891 type Work @default.
- W4311034891 citedByCount "0" @default.
- W4311034891 crossrefType "posted-content" @default.
- W4311034891 hasAuthorship W4311034891A5039084645 @default.
- W4311034891 hasAuthorship W4311034891A5083431971 @default.
- W4311034891 hasBestOaLocation W43110348911 @default.
- W4311034891 hasConcept C102993220 @default.
- W4311034891 hasConcept C104949639 @default.
- W4311034891 hasConcept C121332964 @default.
- W4311034891 hasConcept C124047733 @default.
- W4311034891 hasConcept C165801399 @default.
- W4311034891 hasConcept C169460222 @default.
- W4311034891 hasConcept C172385210 @default.
- W4311034891 hasConcept C199360897 @default.
- W4311034891 hasConcept C2777796570 @default.
- W4311034891 hasConcept C33923547 @default.
- W4311034891 hasConcept C41008148 @default.
- W4311034891 hasConcept C55439883 @default.
- W4311034891 hasConcept C58053490 @default.
- W4311034891 hasConcept C62520636 @default.
- W4311034891 hasConcept C80444323 @default.
- W4311034891 hasConcept C84114770 @default.
- W4311034891 hasConceptScore W4311034891C102993220 @default.
- W4311034891 hasConceptScore W4311034891C104949639 @default.
- W4311034891 hasConceptScore W4311034891C121332964 @default.
- W4311034891 hasConceptScore W4311034891C124047733 @default.
- W4311034891 hasConceptScore W4311034891C165801399 @default.
- W4311034891 hasConceptScore W4311034891C169460222 @default.
- W4311034891 hasConceptScore W4311034891C172385210 @default.
- W4311034891 hasConceptScore W4311034891C199360897 @default.
- W4311034891 hasConceptScore W4311034891C2777796570 @default.
- W4311034891 hasConceptScore W4311034891C33923547 @default.
- W4311034891 hasConceptScore W4311034891C41008148 @default.
- W4311034891 hasConceptScore W4311034891C55439883 @default.
- W4311034891 hasConceptScore W4311034891C58053490 @default.
- W4311034891 hasConceptScore W4311034891C62520636 @default.
- W4311034891 hasConceptScore W4311034891C80444323 @default.
- W4311034891 hasConceptScore W4311034891C84114770 @default.
- W4311034891 hasLocation W43110348911 @default.
- W4311034891 hasLocation W43110348912 @default.
- W4311034891 hasOpenAccess W4311034891 @default.
- W4311034891 hasPrimaryLocation W43110348911 @default.
- W4311034891 hasRelatedWork W1550177384 @default.
- W4311034891 hasRelatedWork W1550792966 @default.
- W4311034891 hasRelatedWork W2052585299 @default.
- W4311034891 hasRelatedWork W2078710420 @default.
- W4311034891 hasRelatedWork W2598230523 @default.
- W4311034891 hasRelatedWork W4229010843 @default.
- W4311034891 hasRelatedWork W4311034891 @default.
- W4311034891 hasRelatedWork W4385494739 @default.
- W4311034891 hasRelatedWork W61646735 @default.
- W4311034891 hasRelatedWork W86787093 @default.
- W4311034891 isParatext "false" @default.
- W4311034891 isRetracted "false" @default.
- W4311034891 workType "article" @default.