Matches in SemOpenAlex for { <https://semopenalex.org/work/W898435101> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W898435101 abstract "This paper presents a technique for translating commoncomprehension expressions (sum, count, product, min,and max) into verification conditions that can be tackledby two off-the-shelf first-order SMT solvers. Since a first-order SMT solver does not directly support the bound variables that occur in comprehension expressions, the challengeis to provide a sound axiomatisation that is strong enoughto prove interesting programs and, furthermore, that canbe used automatically by the SMT solver. The techniquehas been implemented in the Spec# program verifier. Thepaper also reports on the experience of using Spec# to verify several challenging programming examples drawn from atextbook by Dijkstra and Feijen." @default.
- W898435101 created "2016-06-24" @default.
- W898435101 creator A5003866910 @default.
- W898435101 creator A5077941255 @default.
- W898435101 date "2009-01-01" @default.
- W898435101 modified "2023-09-26" @default.
- W898435101 title "Reasoning about Comprehensions withFirst-OrderSMT Solvers" @default.
- W898435101 hasPublicationYear "2009" @default.
- W898435101 type Work @default.
- W898435101 sameAs 898435101 @default.
- W898435101 citedByCount "0" @default.
- W898435101 crossrefType "book-chapter" @default.
- W898435101 hasAuthorship W898435101A5003866910 @default.
- W898435101 hasAuthorship W898435101A5077941255 @default.
- W898435101 hasConcept C132525143 @default.
- W898435101 hasConcept C173870130 @default.
- W898435101 hasConcept C199360897 @default.
- W898435101 hasConcept C22590252 @default.
- W898435101 hasConcept C2778565505 @default.
- W898435101 hasConcept C2778770139 @default.
- W898435101 hasConcept C41008148 @default.
- W898435101 hasConcept C80444323 @default.
- W898435101 hasConceptScore W898435101C132525143 @default.
- W898435101 hasConceptScore W898435101C173870130 @default.
- W898435101 hasConceptScore W898435101C199360897 @default.
- W898435101 hasConceptScore W898435101C22590252 @default.
- W898435101 hasConceptScore W898435101C2778565505 @default.
- W898435101 hasConceptScore W898435101C2778770139 @default.
- W898435101 hasConceptScore W898435101C41008148 @default.
- W898435101 hasConceptScore W898435101C80444323 @default.
- W898435101 hasLocation W8984351011 @default.
- W898435101 hasOpenAccess W898435101 @default.
- W898435101 hasPrimaryLocation W8984351011 @default.
- W898435101 hasRelatedWork W1486180542 @default.
- W898435101 hasRelatedWork W148663991 @default.
- W898435101 hasRelatedWork W169672073 @default.
- W898435101 hasRelatedWork W1967729164 @default.
- W898435101 hasRelatedWork W1993905224 @default.
- W898435101 hasRelatedWork W2046290385 @default.
- W898435101 hasRelatedWork W2105321460 @default.
- W898435101 hasRelatedWork W2117293074 @default.
- W898435101 hasRelatedWork W2118922803 @default.
- W898435101 hasRelatedWork W2141151670 @default.
- W898435101 hasRelatedWork W216667991 @default.
- W898435101 hasRelatedWork W2254285039 @default.
- W898435101 hasRelatedWork W2396384868 @default.
- W898435101 hasRelatedWork W2502290908 @default.
- W898435101 hasRelatedWork W2600851862 @default.
- W898435101 hasRelatedWork W2638593226 @default.
- W898435101 hasRelatedWork W2963499262 @default.
- W898435101 hasRelatedWork W3004482543 @default.
- W898435101 hasRelatedWork W3185149219 @default.
- W898435101 hasRelatedWork W3196865231 @default.
- W898435101 isParatext "false" @default.
- W898435101 isRetracted "false" @default.
- W898435101 magId "898435101" @default.
- W898435101 workType "book-chapter" @default.