Matches in SemOpenAlex for { <https://semopenalex.org/work/W2220918360> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2220918360 endingPage "367" @default.
- W2220918360 startingPage "351" @default.
- W2220918360 abstract "Abstract We introduce a Hoare-style logic for probabilistic programs, called VPHL , that has been formally verified in the Coq proof assistant. VPHL features propositional, rather than additive, assertions and a simple set of rules for reasoning about these assertions using the standard axioms of probability theory. VPHL 's assertions are partial correctness assertions , meaning that their conclusions are dependent upon (deterministic) program termination. The underlying simple probabilistic imperative language, PrImp , includes a probabilistic toss operator, probabilistic guards and potentially-non-terminating while loops." @default.
- W2220918360 created "2016-06-24" @default.
- W2220918360 creator A5041830534 @default.
- W2220918360 creator A5047791454 @default.
- W2220918360 date "2015-12-01" @default.
- W2220918360 modified "2023-10-16" @default.
- W2220918360 title "VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs" @default.
- W2220918360 cites W2000108089 @default.
- W2220918360 cites W2024355065 @default.
- W2220918360 cites W2041467928 @default.
- W2220918360 cites W2113081700 @default.
- W2220918360 cites W2119029543 @default.
- W2220918360 cites W2154231274 @default.
- W2220918360 cites W2987907651 @default.
- W2220918360 doi "https://doi.org/10.1016/j.entcs.2015.12.021" @default.
- W2220918360 hasPublicationYear "2015" @default.
- W2220918360 type Work @default.
- W2220918360 sameAs 2220918360 @default.
- W2220918360 citedByCount "11" @default.
- W2220918360 countsByYear W22209183602016 @default.
- W2220918360 countsByYear W22209183602017 @default.
- W2220918360 countsByYear W22209183602018 @default.
- W2220918360 countsByYear W22209183602019 @default.
- W2220918360 countsByYear W22209183602021 @default.
- W2220918360 countsByYear W22209183602023 @default.
- W2220918360 crossrefType "journal-article" @default.
- W2220918360 hasAuthorship W2220918360A5041830534 @default.
- W2220918360 hasAuthorship W2220918360A5047791454 @default.
- W2220918360 hasBestOaLocation W22209183601 @default.
- W2220918360 hasConcept C11413529 @default.
- W2220918360 hasConcept C154945302 @default.
- W2220918360 hasConcept C199360897 @default.
- W2220918360 hasConcept C24404364 @default.
- W2220918360 hasConcept C41008148 @default.
- W2220918360 hasConcept C49937458 @default.
- W2220918360 hasConcept C52063229 @default.
- W2220918360 hasConcept C55439883 @default.
- W2220918360 hasConcept C80444323 @default.
- W2220918360 hasConceptScore W2220918360C11413529 @default.
- W2220918360 hasConceptScore W2220918360C154945302 @default.
- W2220918360 hasConceptScore W2220918360C199360897 @default.
- W2220918360 hasConceptScore W2220918360C24404364 @default.
- W2220918360 hasConceptScore W2220918360C41008148 @default.
- W2220918360 hasConceptScore W2220918360C49937458 @default.
- W2220918360 hasConceptScore W2220918360C52063229 @default.
- W2220918360 hasConceptScore W2220918360C55439883 @default.
- W2220918360 hasConceptScore W2220918360C80444323 @default.
- W2220918360 hasLocation W22209183601 @default.
- W2220918360 hasOpenAccess W2220918360 @default.
- W2220918360 hasPrimaryLocation W22209183601 @default.
- W2220918360 hasRelatedWork W1443952919 @default.
- W2220918360 hasRelatedWork W1497573972 @default.
- W2220918360 hasRelatedWork W2270471158 @default.
- W2220918360 hasRelatedWork W2337623929 @default.
- W2220918360 hasRelatedWork W2782719117 @default.
- W2220918360 hasRelatedWork W2808527903 @default.
- W2220918360 hasRelatedWork W2809681923 @default.
- W2220918360 hasRelatedWork W4246535868 @default.
- W2220918360 hasRelatedWork W798922765 @default.
- W2220918360 hasRelatedWork W2789178056 @default.
- W2220918360 hasVolume "319" @default.
- W2220918360 isParatext "false" @default.
- W2220918360 isRetracted "false" @default.
- W2220918360 magId "2220918360" @default.
- W2220918360 workType "article" @default.