Matches in SemOpenAlex for { <https://semopenalex.org/work/W2956061222> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2956061222 abstract "We present a theory for slicing probabilistic imperative programs -- containing random assignments, and ``observe'' statements (for conditioning) -- represented as probabilistic control-flow graphs (pCFGs) whose nodes modify probability distributions. We show that such a representation allows direct adaptation of standard machinery such as data and control dependence, postdominators, relevant variables, etc to the probabilistic setting. We separate the specification of slicing from its implementation: first we develop syntactic conditions that a slice must satisfy; next we prove that any such slice is semantically correct; finally we give an algorithm to compute the least slice. To generate smaller slices, we may in addition take advantage of knowledge that certain loops will terminate (almost) always. A key feature of our syntactic conditions is that they involve two disjoint slices such that the variables of one slice are probabilistically independent of the variables of the other. This leads directly to a proof of correctness of probabilistic slicing. In a companion article we show adequacy of the semantics of pCFGs with respect to the standard semantics of structured probabilistic programs." @default.
- W2956061222 created "2019-07-12" @default.
- W2956061222 creator A5003706361 @default.
- W2956061222 creator A5012630006 @default.
- W2956061222 date "2017-11-07" @default.
- W2956061222 modified "2023-09-27" @default.
- W2956061222 title "A Theory of Slicing for Probabilistic Control-Flow Graphs" @default.
- W2956061222 cites W1540519426 @default.
- W2956061222 cites W1549039738 @default.
- W2956061222 cites W1595069411 @default.
- W2956061222 cites W2008059658 @default.
- W2956061222 cites W2024355065 @default.
- W2956061222 cites W2066486177 @default.
- W2956061222 cites W2076807040 @default.
- W2956061222 cites W2135988257 @default.
- W2956061222 cites W2166496828 @default.
- W2956061222 cites W2293624369 @default.
- W2956061222 cites W2295266283 @default.
- W2956061222 cites W72346910 @default.
- W2956061222 hasPublicationYear "2017" @default.
- W2956061222 type Work @default.
- W2956061222 sameAs 2956061222 @default.
- W2956061222 citedByCount "0" @default.
- W2956061222 crossrefType "posted-content" @default.
- W2956061222 hasAuthorship W2956061222A5003706361 @default.
- W2956061222 hasAuthorship W2956061222A5012630006 @default.
- W2956061222 hasConcept C11413529 @default.
- W2956061222 hasConcept C136764020 @default.
- W2956061222 hasConcept C154945302 @default.
- W2956061222 hasConcept C160191386 @default.
- W2956061222 hasConcept C184337299 @default.
- W2956061222 hasConcept C199360897 @default.
- W2956061222 hasConcept C24404364 @default.
- W2956061222 hasConcept C26517878 @default.
- W2956061222 hasConcept C2776190703 @default.
- W2956061222 hasConcept C38652104 @default.
- W2956061222 hasConcept C41008148 @default.
- W2956061222 hasConcept C49937458 @default.
- W2956061222 hasConcept C52063229 @default.
- W2956061222 hasConcept C55439883 @default.
- W2956061222 hasConcept C80444323 @default.
- W2956061222 hasConcept C91071405 @default.
- W2956061222 hasConceptScore W2956061222C11413529 @default.
- W2956061222 hasConceptScore W2956061222C136764020 @default.
- W2956061222 hasConceptScore W2956061222C154945302 @default.
- W2956061222 hasConceptScore W2956061222C160191386 @default.
- W2956061222 hasConceptScore W2956061222C184337299 @default.
- W2956061222 hasConceptScore W2956061222C199360897 @default.
- W2956061222 hasConceptScore W2956061222C24404364 @default.
- W2956061222 hasConceptScore W2956061222C26517878 @default.
- W2956061222 hasConceptScore W2956061222C2776190703 @default.
- W2956061222 hasConceptScore W2956061222C38652104 @default.
- W2956061222 hasConceptScore W2956061222C41008148 @default.
- W2956061222 hasConceptScore W2956061222C49937458 @default.
- W2956061222 hasConceptScore W2956061222C52063229 @default.
- W2956061222 hasConceptScore W2956061222C55439883 @default.
- W2956061222 hasConceptScore W2956061222C80444323 @default.
- W2956061222 hasConceptScore W2956061222C91071405 @default.
- W2956061222 hasLocation W29560612221 @default.
- W2956061222 hasOpenAccess W2956061222 @default.
- W2956061222 hasPrimaryLocation W29560612221 @default.
- W2956061222 hasRelatedWork W1514982088 @default.
- W2956061222 hasRelatedWork W1560694018 @default.
- W2956061222 hasRelatedWork W1566093621 @default.
- W2956061222 hasRelatedWork W1572974769 @default.
- W2956061222 hasRelatedWork W1603163314 @default.
- W2956061222 hasRelatedWork W1755598144 @default.
- W2956061222 hasRelatedWork W1975807602 @default.
- W2956061222 hasRelatedWork W2048193923 @default.
- W2956061222 hasRelatedWork W2077499329 @default.
- W2956061222 hasRelatedWork W2151655370 @default.
- W2956061222 hasRelatedWork W2213823636 @default.
- W2956061222 hasRelatedWork W2246028955 @default.
- W2956061222 hasRelatedWork W2620748922 @default.
- W2956061222 hasRelatedWork W2901455318 @default.
- W2956061222 hasRelatedWork W2951912410 @default.
- W2956061222 hasRelatedWork W3022934173 @default.
- W2956061222 hasRelatedWork W3046141084 @default.
- W2956061222 hasRelatedWork W3099266052 @default.
- W2956061222 hasRelatedWork W3101973194 @default.
- W2956061222 hasRelatedWork W3200158473 @default.
- W2956061222 isParatext "false" @default.
- W2956061222 isRetracted "false" @default.
- W2956061222 magId "2956061222" @default.
- W2956061222 workType "article" @default.