Matches in SemOpenAlex for { <https://semopenalex.org/work/W2886472010> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2886472010 endingPage "16" @default.
- W2886472010 startingPage "1" @default.
- W2886472010 abstract "Good tools can bring mechanical verification to programs written in mainstream functional languages. We use <pre>hs-to-coq</pre> to translate significant portions of Haskell’s <pre>containers</pre> library into Coq, and verify it against specifications that we derive from a variety of sources including type class laws, the library’s test suite, and interfaces from Coq’s standard library. Our work shows that it is feasible to verify mature, widely-used, highly optimized, and unmodified Haskell code. We also learn more about the theory of weight-balanced trees, extend <pre>hs-to-coq</pre> to handle partiality, and – since we found no bugs – attest to the superb quality of well-tested functional code." @default.
- W2886472010 created "2018-08-22" @default.
- W2886472010 creator A5019302024 @default.
- W2886472010 creator A5019489999 @default.
- W2886472010 creator A5035708812 @default.
- W2886472010 creator A5048174018 @default.
- W2886472010 creator A5049220962 @default.
- W2886472010 creator A5049741143 @default.
- W2886472010 date "2018-07-30" @default.
- W2886472010 modified "2023-09-29" @default.
- W2886472010 title "Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)" @default.
- W2886472010 cites W1558175043 @default.
- W2886472010 cites W1569975162 @default.
- W2886472010 cites W1868063025 @default.
- W2886472010 cites W1965601023 @default.
- W2886472010 cites W2018665307 @default.
- W2886472010 cites W2021982406 @default.
- W2886472010 cites W2045900383 @default.
- W2886472010 cites W2124940124 @default.
- W2886472010 cites W2125995229 @default.
- W2886472010 cites W2155512447 @default.
- W2886472010 cites W2751092273 @default.
- W2886472010 cites W2886472010 @default.
- W2886472010 cites W3103850025 @default.
- W2886472010 cites W3125985216 @default.
- W2886472010 cites W4244488020 @default.
- W2886472010 doi "https://doi.org/10.1145/3236784" @default.
- W2886472010 hasPublicationYear "2018" @default.
- W2886472010 type Work @default.
- W2886472010 sameAs 2886472010 @default.
- W2886472010 citedByCount "18" @default.
- W2886472010 countsByYear W28864720102018 @default.
- W2886472010 countsByYear W28864720102019 @default.
- W2886472010 countsByYear W28864720102020 @default.
- W2886472010 countsByYear W28864720102021 @default.
- W2886472010 countsByYear W28864720102022 @default.
- W2886472010 countsByYear W28864720102023 @default.
- W2886472010 crossrefType "journal-article" @default.
- W2886472010 hasAuthorship W2886472010A5019302024 @default.
- W2886472010 hasAuthorship W2886472010A5019489999 @default.
- W2886472010 hasAuthorship W2886472010A5035708812 @default.
- W2886472010 hasAuthorship W2886472010A5048174018 @default.
- W2886472010 hasAuthorship W2886472010A5049220962 @default.
- W2886472010 hasAuthorship W2886472010A5049741143 @default.
- W2886472010 hasBestOaLocation W28864720101 @default.
- W2886472010 hasConcept C108710211 @default.
- W2886472010 hasConcept C119857082 @default.
- W2886472010 hasConcept C128942645 @default.
- W2886472010 hasConcept C151552104 @default.
- W2886472010 hasConcept C152877465 @default.
- W2886472010 hasConcept C17435882 @default.
- W2886472010 hasConcept C177264268 @default.
- W2886472010 hasConcept C199360897 @default.
- W2886472010 hasConcept C203265346 @default.
- W2886472010 hasConcept C2524010 @default.
- W2886472010 hasConcept C2776760102 @default.
- W2886472010 hasConcept C2780624054 @default.
- W2886472010 hasConcept C33923547 @default.
- W2886472010 hasConcept C41008148 @default.
- W2886472010 hasConcept C42383842 @default.
- W2886472010 hasConceptScore W2886472010C108710211 @default.
- W2886472010 hasConceptScore W2886472010C119857082 @default.
- W2886472010 hasConceptScore W2886472010C128942645 @default.
- W2886472010 hasConceptScore W2886472010C151552104 @default.
- W2886472010 hasConceptScore W2886472010C152877465 @default.
- W2886472010 hasConceptScore W2886472010C17435882 @default.
- W2886472010 hasConceptScore W2886472010C177264268 @default.
- W2886472010 hasConceptScore W2886472010C199360897 @default.
- W2886472010 hasConceptScore W2886472010C203265346 @default.
- W2886472010 hasConceptScore W2886472010C2524010 @default.
- W2886472010 hasConceptScore W2886472010C2776760102 @default.
- W2886472010 hasConceptScore W2886472010C2780624054 @default.
- W2886472010 hasConceptScore W2886472010C33923547 @default.
- W2886472010 hasConceptScore W2886472010C41008148 @default.
- W2886472010 hasConceptScore W2886472010C42383842 @default.
- W2886472010 hasFunder F4320306076 @default.
- W2886472010 hasIssue "ICFP" @default.
- W2886472010 hasLocation W28864720101 @default.
- W2886472010 hasOpenAccess W2886472010 @default.
- W2886472010 hasPrimaryLocation W28864720101 @default.
- W2886472010 hasRelatedWork W1522519483 @default.
- W2886472010 hasRelatedWork W1601811574 @default.
- W2886472010 hasRelatedWork W2020283269 @default.
- W2886472010 hasRelatedWork W2105945150 @default.
- W2886472010 hasRelatedWork W2792461873 @default.
- W2886472010 hasRelatedWork W2886472010 @default.
- W2886472010 hasRelatedWork W2913635267 @default.
- W2886472010 hasRelatedWork W3103850025 @default.
- W2886472010 hasRelatedWork W3135839603 @default.
- W2886472010 hasRelatedWork W4302613198 @default.
- W2886472010 hasVolume "2" @default.
- W2886472010 isParatext "false" @default.
- W2886472010 isRetracted "false" @default.
- W2886472010 magId "2886472010" @default.
- W2886472010 workType "article" @default.