Matches in SemOpenAlex for { <https://semopenalex.org/work/W33484383> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W33484383 endingPage "186" @default.
- W33484383 startingPage "183" @default.
- W33484383 abstract "Many programs operate on data structures whose models are sequences, such as arrays, lists, and queues. When specifying and verifying functional properties of such programs, it is convenient to use an assertion language and a reasoning engine that incorporate sequences natively. This paper presents qfis, a program verifier geared to sequence-manipulating programs. qfis is a command-line tool that inputs annotated programs, generates the verification conditions that establish their correctness, tries to discharge them by calls to the SMT-solver CVC3, and reports the outcome back to the user. qfis can be used directly or as a back-end of more complex programming languages." @default.
- W33484383 created "2016-06-24" @default.
- W33484383 creator A5031470846 @default.
- W33484383 date "2012-01-01" @default.
- W33484383 modified "2023-09-23" @default.
- W33484383 title "A Verifier for Functional Properties of Sequence-Manipulating Programs" @default.
- W33484383 cites W2130427425 @default.
- W33484383 cites W4253178675 @default.
- W33484383 cites W3101105140 @default.
- W33484383 doi "https://doi.org/10.1007/978-3-642-33386-6_15" @default.
- W33484383 hasPublicationYear "2012" @default.
- W33484383 type Work @default.
- W33484383 sameAs 33484383 @default.
- W33484383 citedByCount "0" @default.
- W33484383 crossrefType "book-chapter" @default.
- W33484383 hasAuthorship W33484383A5031470846 @default.
- W33484383 hasBestOaLocation W334843832 @default.
- W33484383 hasConcept C160403385 @default.
- W33484383 hasConcept C164155591 @default.
- W33484383 hasConcept C169590947 @default.
- W33484383 hasConcept C199360897 @default.
- W33484383 hasConcept C2778112365 @default.
- W33484383 hasConcept C40422974 @default.
- W33484383 hasConcept C41008148 @default.
- W33484383 hasConcept C42383842 @default.
- W33484383 hasConcept C54355233 @default.
- W33484383 hasConcept C55439883 @default.
- W33484383 hasConcept C80444323 @default.
- W33484383 hasConcept C86803240 @default.
- W33484383 hasConceptScore W33484383C160403385 @default.
- W33484383 hasConceptScore W33484383C164155591 @default.
- W33484383 hasConceptScore W33484383C169590947 @default.
- W33484383 hasConceptScore W33484383C199360897 @default.
- W33484383 hasConceptScore W33484383C2778112365 @default.
- W33484383 hasConceptScore W33484383C40422974 @default.
- W33484383 hasConceptScore W33484383C41008148 @default.
- W33484383 hasConceptScore W33484383C42383842 @default.
- W33484383 hasConceptScore W33484383C54355233 @default.
- W33484383 hasConceptScore W33484383C55439883 @default.
- W33484383 hasConceptScore W33484383C80444323 @default.
- W33484383 hasConceptScore W33484383C86803240 @default.
- W33484383 hasLocation W334843831 @default.
- W33484383 hasLocation W334843832 @default.
- W33484383 hasOpenAccess W33484383 @default.
- W33484383 hasPrimaryLocation W334843831 @default.
- W33484383 hasRelatedWork W107062135 @default.
- W33484383 hasRelatedWork W110815123 @default.
- W33484383 hasRelatedWork W1522475667 @default.
- W33484383 hasRelatedWork W1561142965 @default.
- W33484383 hasRelatedWork W1585183969 @default.
- W33484383 hasRelatedWork W2012567572 @default.
- W33484383 hasRelatedWork W2013770653 @default.
- W33484383 hasRelatedWork W2015077407 @default.
- W33484383 hasRelatedWork W2028765813 @default.
- W33484383 hasRelatedWork W2047730072 @default.
- W33484383 hasRelatedWork W2113058702 @default.
- W33484383 hasRelatedWork W2140108761 @default.
- W33484383 hasRelatedWork W2157476517 @default.
- W33484383 hasRelatedWork W2471418780 @default.
- W33484383 hasRelatedWork W2555483389 @default.
- W33484383 hasRelatedWork W2561365607 @default.
- W33484383 hasRelatedWork W2595907324 @default.
- W33484383 hasRelatedWork W2786407536 @default.
- W33484383 hasRelatedWork W3037570434 @default.
- W33484383 hasRelatedWork W69309551 @default.
- W33484383 isParatext "false" @default.
- W33484383 isRetracted "false" @default.
- W33484383 magId "33484383" @default.
- W33484383 workType "book-chapter" @default.