Matches in SemOpenAlex for { <https://semopenalex.org/work/W3081567767> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W3081567767 abstract "We present a full-program induction technique for proving (a sub-class of) quantified as well as quantifier-free properties of programs manipulating arrays of parametric size N. Instead of inducting over individual loops, our technique inducts over the entire program (possibly containing multiple loops) directly via the program parameter N. Significantly, this does not require generation or use of loop-specific invariants. We have developed a prototype tool Vajra to assess the efficacy of our technique. We demonstrate the performance of Vajra vis-a-vis several state-of-the-art tools on a set of array manipulating benchmarks." @default.
- W3081567767 created "2020-09-08" @default.
- W3081567767 creator A5069263468 @default.
- W3081567767 creator A5089236765 @default.
- W3081567767 creator A5091553009 @default.
- W3081567767 date "2021-03-22" @default.
- W3081567767 modified "2023-09-25" @default.
- W3081567767 title "Verifying Array Manipulating Programs with Full-Program Induction" @default.
- W3081567767 cites W1495266209 @default.
- W3081567767 cites W1711276981 @default.
- W3081567767 cites W2010452422 @default.
- W3081567767 cites W2015362443 @default.
- W3081567767 cites W2060697066 @default.
- W3081567767 cites W2078738604 @default.
- W3081567767 cites W2108241838 @default.
- W3081567767 cites W2110908283 @default.
- W3081567767 cites W2144344516 @default.
- W3081567767 cites W2340697544 @default.
- W3081567767 cites W2887225054 @default.
- W3081567767 cites W3101568729 @default.
- W3081567767 cites W84399048 @default.
- W3081567767 doi "https://doi.org/10.26226/morressier.604907f51a80aac83ca25da3" @default.
- W3081567767 hasPublicationYear "2021" @default.
- W3081567767 type Work @default.
- W3081567767 sameAs 3081567767 @default.
- W3081567767 citedByCount "0" @default.
- W3081567767 crossrefType "posted-content" @default.
- W3081567767 hasAuthorship W3081567767A5069263468 @default.
- W3081567767 hasAuthorship W3081567767A5089236765 @default.
- W3081567767 hasAuthorship W3081567767A5091553009 @default.
- W3081567767 hasBestOaLocation W30815677672 @default.
- W3081567767 hasConcept C199360897 @default.
- W3081567767 hasConcept C41008148 @default.
- W3081567767 hasConceptScore W3081567767C199360897 @default.
- W3081567767 hasConceptScore W3081567767C41008148 @default.
- W3081567767 hasLocation W30815677671 @default.
- W3081567767 hasLocation W30815677672 @default.
- W3081567767 hasOpenAccess W3081567767 @default.
- W3081567767 hasPrimaryLocation W30815677671 @default.
- W3081567767 hasRelatedWork W1527862632 @default.
- W3081567767 hasRelatedWork W2109507516 @default.
- W3081567767 hasRelatedWork W2112962394 @default.
- W3081567767 hasRelatedWork W2118300983 @default.
- W3081567767 hasRelatedWork W2166247150 @default.
- W3081567767 hasRelatedWork W2382501300 @default.
- W3081567767 hasRelatedWork W2740990710 @default.
- W3081567767 hasRelatedWork W3137189469 @default.
- W3081567767 hasRelatedWork W4235530921 @default.
- W3081567767 hasRelatedWork W4243252198 @default.
- W3081567767 isParatext "false" @default.
- W3081567767 isRetracted "false" @default.
- W3081567767 magId "3081567767" @default.
- W3081567767 workType "article" @default.