Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300904700> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4300904700 abstract "This paper presents a wp-style calculus for obtaining expectations on the outcomes of (mutually) recursive probabilistic programs. We provide several proof rules to derive one-- and two--sided bounds for such expectations, and show the soundness of our wp-calculus with respect to a probabilistic pushdown automaton semantics. We also give a wp-style calculus for obtaining bounds on the expected runtime of recursive programs that can be used to determine the (possibly infinite) time until termination of such programs." @default.
- W4300904700 created "2022-10-04" @default.
- W4300904700 creator A5009421242 @default.
- W4300904700 creator A5045667283 @default.
- W4300904700 creator A5089189715 @default.
- W4300904700 creator A5090819329 @default.
- W4300904700 date "2016-03-09" @default.
- W4300904700 modified "2023-09-26" @default.
- W4300904700 title "Reasoning about Recursive Probabilistic Programs" @default.
- W4300904700 doi "https://doi.org/10.48550/arxiv.1603.02922" @default.
- W4300904700 hasPublicationYear "2016" @default.
- W4300904700 type Work @default.
- W4300904700 citedByCount "0" @default.
- W4300904700 crossrefType "posted-content" @default.
- W4300904700 hasAuthorship W4300904700A5009421242 @default.
- W4300904700 hasAuthorship W4300904700A5045667283 @default.
- W4300904700 hasAuthorship W4300904700A5089189715 @default.
- W4300904700 hasAuthorship W4300904700A5090819329 @default.
- W4300904700 hasBestOaLocation W43009047001 @default.
- W4300904700 hasConcept C112505250 @default.
- W4300904700 hasConcept C118615104 @default.
- W4300904700 hasConcept C136119220 @default.
- W4300904700 hasConcept C154945302 @default.
- W4300904700 hasConcept C156325763 @default.
- W4300904700 hasConcept C174784677 @default.
- W4300904700 hasConcept C184337299 @default.
- W4300904700 hasConcept C199343813 @default.
- W4300904700 hasConcept C199360897 @default.
- W4300904700 hasConcept C202444582 @default.
- W4300904700 hasConcept C24404364 @default.
- W4300904700 hasConcept C2777686260 @default.
- W4300904700 hasConcept C30128091 @default.
- W4300904700 hasConcept C33923547 @default.
- W4300904700 hasConcept C39920170 @default.
- W4300904700 hasConcept C41008148 @default.
- W4300904700 hasConcept C49937458 @default.
- W4300904700 hasConcept C52063229 @default.
- W4300904700 hasConcept C71924100 @default.
- W4300904700 hasConcept C77944639 @default.
- W4300904700 hasConcept C80444323 @default.
- W4300904700 hasConceptScore W4300904700C112505250 @default.
- W4300904700 hasConceptScore W4300904700C118615104 @default.
- W4300904700 hasConceptScore W4300904700C136119220 @default.
- W4300904700 hasConceptScore W4300904700C154945302 @default.
- W4300904700 hasConceptScore W4300904700C156325763 @default.
- W4300904700 hasConceptScore W4300904700C174784677 @default.
- W4300904700 hasConceptScore W4300904700C184337299 @default.
- W4300904700 hasConceptScore W4300904700C199343813 @default.
- W4300904700 hasConceptScore W4300904700C199360897 @default.
- W4300904700 hasConceptScore W4300904700C202444582 @default.
- W4300904700 hasConceptScore W4300904700C24404364 @default.
- W4300904700 hasConceptScore W4300904700C2777686260 @default.
- W4300904700 hasConceptScore W4300904700C30128091 @default.
- W4300904700 hasConceptScore W4300904700C33923547 @default.
- W4300904700 hasConceptScore W4300904700C39920170 @default.
- W4300904700 hasConceptScore W4300904700C41008148 @default.
- W4300904700 hasConceptScore W4300904700C49937458 @default.
- W4300904700 hasConceptScore W4300904700C52063229 @default.
- W4300904700 hasConceptScore W4300904700C71924100 @default.
- W4300904700 hasConceptScore W4300904700C77944639 @default.
- W4300904700 hasConceptScore W4300904700C80444323 @default.
- W4300904700 hasLocation W43009047001 @default.
- W4300904700 hasLocation W43009047002 @default.
- W4300904700 hasLocation W43009047003 @default.
- W4300904700 hasOpenAccess W4300904700 @default.
- W4300904700 hasPrimaryLocation W43009047001 @default.
- W4300904700 hasRelatedWork W135120204 @default.
- W4300904700 hasRelatedWork W1494467844 @default.
- W4300904700 hasRelatedWork W1513077802 @default.
- W4300904700 hasRelatedWork W2096349874 @default.
- W4300904700 hasRelatedWork W2111119954 @default.
- W4300904700 hasRelatedWork W2169797019 @default.
- W4300904700 hasRelatedWork W2185409361 @default.
- W4300904700 hasRelatedWork W2294463722 @default.
- W4300904700 hasRelatedWork W249340682 @default.
- W4300904700 hasRelatedWork W2949339429 @default.
- W4300904700 isParatext "false" @default.
- W4300904700 isRetracted "false" @default.
- W4300904700 workType "article" @default.