Matches in SemOpenAlex for { <https://semopenalex.org/work/W4380551855> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4380551855 abstract "Ensuring the correctness of quantum programs is crucial for quantum software quality assurance. Although various effective verification methods exist for classical programs, they cannot be applied to quantum programs due to the fundamental differences in their execution logic, such as quantum superposition and entanglement. This calls for new methods to verify the correctness of quantum programs. In this paper, we present a behavioral interface specification language (BISL) called ScaffML for the quantum programming language Scaffold. ScaffML allows the specification of pre- and post-conditions for Scaffold modules and enables the mixing of assertions with Scaffold code, thereby facilitating debugging and verification of quantum programs. This paper discusses the goals and overall approach of ScaffML and describes the basic features of the language through examples. ScaffML provides an easy-to-use specification language for quantum programmers, supporting static analysis, run-time checking, and formal verification of Scaffold programs. Finally, we present several instances to illustrate the workflow and functionalities of ScaffML." @default.
- W4380551855 created "2023-06-14" @default.
- W4380551855 creator A5043098310 @default.
- W4380551855 creator A5065190767 @default.
- W4380551855 date "2023-06-10" @default.
- W4380551855 modified "2023-10-16" @default.
- W4380551855 title "ScaffML: A Quantum Behavioral Interface Specification Language for Scaffold" @default.
- W4380551855 doi "https://doi.org/10.48550/arxiv.2306.06468" @default.
- W4380551855 hasPublicationYear "2023" @default.
- W4380551855 type Work @default.
- W4380551855 citedByCount "0" @default.
- W4380551855 crossrefType "posted-content" @default.
- W4380551855 hasAuthorship W4380551855A5043098310 @default.
- W4380551855 hasAuthorship W4380551855A5065190767 @default.
- W4380551855 hasBestOaLocation W43805518551 @default.
- W4380551855 hasConcept C111919701 @default.
- W4380551855 hasConcept C113843644 @default.
- W4380551855 hasConcept C121332964 @default.
- W4380551855 hasConcept C129307140 @default.
- W4380551855 hasConcept C157915830 @default.
- W4380551855 hasConcept C168065819 @default.
- W4380551855 hasConcept C177212765 @default.
- W4380551855 hasConcept C186846655 @default.
- W4380551855 hasConcept C199360897 @default.
- W4380551855 hasConcept C2777904410 @default.
- W4380551855 hasConcept C41008148 @default.
- W4380551855 hasConcept C529173508 @default.
- W4380551855 hasConcept C55439883 @default.
- W4380551855 hasConcept C62520636 @default.
- W4380551855 hasConcept C77088390 @default.
- W4380551855 hasConcept C80291951 @default.
- W4380551855 hasConcept C80444323 @default.
- W4380551855 hasConcept C84114770 @default.
- W4380551855 hasConceptScore W4380551855C111919701 @default.
- W4380551855 hasConceptScore W4380551855C113843644 @default.
- W4380551855 hasConceptScore W4380551855C121332964 @default.
- W4380551855 hasConceptScore W4380551855C129307140 @default.
- W4380551855 hasConceptScore W4380551855C157915830 @default.
- W4380551855 hasConceptScore W4380551855C168065819 @default.
- W4380551855 hasConceptScore W4380551855C177212765 @default.
- W4380551855 hasConceptScore W4380551855C186846655 @default.
- W4380551855 hasConceptScore W4380551855C199360897 @default.
- W4380551855 hasConceptScore W4380551855C2777904410 @default.
- W4380551855 hasConceptScore W4380551855C41008148 @default.
- W4380551855 hasConceptScore W4380551855C529173508 @default.
- W4380551855 hasConceptScore W4380551855C55439883 @default.
- W4380551855 hasConceptScore W4380551855C62520636 @default.
- W4380551855 hasConceptScore W4380551855C77088390 @default.
- W4380551855 hasConceptScore W4380551855C80291951 @default.
- W4380551855 hasConceptScore W4380551855C80444323 @default.
- W4380551855 hasConceptScore W4380551855C84114770 @default.
- W4380551855 hasLocation W43805518551 @default.
- W4380551855 hasOpenAccess W4380551855 @default.
- W4380551855 hasPrimaryLocation W43805518551 @default.
- W4380551855 hasRelatedWork W106084318 @default.
- W4380551855 hasRelatedWork W1579177548 @default.
- W4380551855 hasRelatedWork W1587224678 @default.
- W4380551855 hasRelatedWork W1601811574 @default.
- W4380551855 hasRelatedWork W181842068 @default.
- W4380551855 hasRelatedWork W1985198438 @default.
- W4380551855 hasRelatedWork W2007773203 @default.
- W4380551855 hasRelatedWork W2068981034 @default.
- W4380551855 hasRelatedWork W4234604123 @default.
- W4380551855 hasRelatedWork W2523525283 @default.
- W4380551855 isParatext "false" @default.
- W4380551855 isRetracted "false" @default.
- W4380551855 workType "article" @default.