Matches in SemOpenAlex for { <https://semopenalex.org/work/W94183712> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W94183712 abstract "Probabilistic predicate transformers provide a semantics for imperative programs containing both demonic and probabilistic nondeterminism. Like the (standard) predicate transformers popularised by Dijkstra, they model programs as functions from final results to the initial conditions suffcient to achieve them. This paper presents practical proof rules, using the probabilistic transformers, for reasoning about iterations when probability is present. They are thoroughly illustrated by example: probabilistic binary chop, faulty factorial, the martingale gambling strategy and Herman’s probabilistic self-stabilisation . Just as for traditional programs, weakest-precondition based proof rules for program derivation are an important step on the way to designing more general refinement techniques, or even a refinement calculus, for imperative probabilistic programming." @default.
- W94183712 created "2016-06-24" @default.
- W94183712 creator A5039019347 @default.
- W94183712 date "1996-07-01" @default.
- W94183712 modified "2023-10-18" @default.
- W94183712 title "Proof rules for probabilistic loops" @default.
- W94183712 cites W1492315860 @default.
- W94183712 cites W1492711856 @default.
- W94183712 cites W1552647623 @default.
- W94183712 cites W1857327297 @default.
- W94183712 cites W1982800675 @default.
- W94183712 cites W1983962763 @default.
- W94183712 cites W1992996044 @default.
- W94183712 cites W2000138546 @default.
- W94183712 cites W2001097638 @default.
- W94183712 cites W2024355065 @default.
- W94183712 cites W2069300761 @default.
- W94183712 cites W2072033902 @default.
- W94183712 cites W2091188761 @default.
- W94183712 cites W2092233450 @default.
- W94183712 cites W2103953153 @default.
- W94183712 cites W2135795876 @default.
- W94183712 cites W2141670510 @default.
- W94183712 cites W3146075203 @default.
- W94183712 doi "https://doi.org/10.14236/ewic/rw1996.10" @default.
- W94183712 hasPublicationYear "1996" @default.
- W94183712 type Work @default.
- W94183712 sameAs 94183712 @default.
- W94183712 citedByCount "34" @default.
- W94183712 countsByYear W941837122013 @default.
- W94183712 countsByYear W941837122014 @default.
- W94183712 countsByYear W941837122015 @default.
- W94183712 countsByYear W941837122016 @default.
- W94183712 countsByYear W941837122017 @default.
- W94183712 countsByYear W941837122018 @default.
- W94183712 countsByYear W941837122019 @default.
- W94183712 countsByYear W941837122020 @default.
- W94183712 crossrefType "proceedings-article" @default.
- W94183712 hasAuthorship W94183712A5039019347 @default.
- W94183712 hasBestOaLocation W941837121 @default.
- W94183712 hasConcept C11413529 @default.
- W94183712 hasConcept C128828806 @default.
- W94183712 hasConcept C140146324 @default.
- W94183712 hasConcept C143017306 @default.
- W94183712 hasConcept C154945302 @default.
- W94183712 hasConcept C156325763 @default.
- W94183712 hasConcept C184337299 @default.
- W94183712 hasConcept C199360897 @default.
- W94183712 hasConcept C24404364 @default.
- W94183712 hasConcept C30128091 @default.
- W94183712 hasConcept C41008148 @default.
- W94183712 hasConcept C49937458 @default.
- W94183712 hasConcept C52063229 @default.
- W94183712 hasConcept C80444323 @default.
- W94183712 hasConceptScore W94183712C11413529 @default.
- W94183712 hasConceptScore W94183712C128828806 @default.
- W94183712 hasConceptScore W94183712C140146324 @default.
- W94183712 hasConceptScore W94183712C143017306 @default.
- W94183712 hasConceptScore W94183712C154945302 @default.
- W94183712 hasConceptScore W94183712C156325763 @default.
- W94183712 hasConceptScore W94183712C184337299 @default.
- W94183712 hasConceptScore W94183712C199360897 @default.
- W94183712 hasConceptScore W94183712C24404364 @default.
- W94183712 hasConceptScore W94183712C30128091 @default.
- W94183712 hasConceptScore W94183712C41008148 @default.
- W94183712 hasConceptScore W94183712C49937458 @default.
- W94183712 hasConceptScore W94183712C52063229 @default.
- W94183712 hasConceptScore W94183712C80444323 @default.
- W94183712 hasLocation W941837121 @default.
- W94183712 hasOpenAccess W94183712 @default.
- W94183712 hasPrimaryLocation W941837121 @default.
- W94183712 hasRelatedWork W1598283203 @default.
- W94183712 hasRelatedWork W1995410278 @default.
- W94183712 hasRelatedWork W2030277783 @default.
- W94183712 hasRelatedWork W2141670510 @default.
- W94183712 hasRelatedWork W2270471158 @default.
- W94183712 hasRelatedWork W2471401686 @default.
- W94183712 hasRelatedWork W2562270002 @default.
- W94183712 hasRelatedWork W3214184572 @default.
- W94183712 hasRelatedWork W4362598739 @default.
- W94183712 hasRelatedWork W94183712 @default.
- W94183712 isParatext "false" @default.
- W94183712 isRetracted "false" @default.
- W94183712 magId "94183712" @default.
- W94183712 workType "article" @default.