Matches in SemOpenAlex for { <https://semopenalex.org/work/W4379538081> ?p ?o ?g. }
- W4379538081 endingPage "1072" @default.
- W4379538081 startingPage "1050" @default.
- W4379538081 abstract "In this work, we study the fully automated inference of expected result values of probabilistic programs in the presence of natural programming constructs such as procedures, local variables and recursion. While crucial, capturing these constructs becomes highly non-trivial. The key contribution is the definition of a term representation, denoted as infer[.], translating a pre-expectation semantics into first-order constraints, susceptible to automation via standard methods. A crucial step is the use of logical variables, inspired by previous work on Hoare logics for recursive programs. Noteworthy, our methodology is not restricted to tail-recursion, which could unarguably be replaced by iteration and wouldn't need additional insights. We have implemented this analysis in our prototype ev-imp. We provide ample experimental evidence of the prototype's algorithmic expressibility." @default.
- W4379538081 created "2023-06-07" @default.
- W4379538081 creator A5016872166 @default.
- W4379538081 creator A5048841494 @default.
- W4379538081 creator A5050172197 @default.
- W4379538081 date "2023-06-06" @default.
- W4379538081 modified "2023-09-26" @default.
- W4379538081 title "Automated Expected Value Analysis of Recursive Programs" @default.
- W4379538081 cites W127812855 @default.
- W4379538081 cites W1484559376 @default.
- W4379538081 cites W1494942133 @default.
- W4379538081 cites W1503860275 @default.
- W4379538081 cites W1524865709 @default.
- W4379538081 cites W1530375435 @default.
- W4379538081 cites W1553894716 @default.
- W4379538081 cites W1595069411 @default.
- W4379538081 cites W1636902686 @default.
- W4379538081 cites W1729037535 @default.
- W4379538081 cites W1967175382 @default.
- W4379538081 cites W1988455648 @default.
- W4379538081 cites W2000108089 @default.
- W4379538081 cites W2011086847 @default.
- W4379538081 cites W2011665527 @default.
- W4379538081 cites W2014354084 @default.
- W4379538081 cites W2037009101 @default.
- W4379538081 cites W2058440484 @default.
- W4379538081 cites W2066210260 @default.
- W4379538081 cites W2142524717 @default.
- W4379538081 cites W2184410169 @default.
- W4379538081 cites W2222812367 @default.
- W4379538081 cites W2494200839 @default.
- W4379538081 cites W2527393991 @default.
- W4379538081 cites W2767778696 @default.
- W4379538081 cites W2799052418 @default.
- W4379538081 cites W2860675612 @default.
- W4379538081 cites W2893610333 @default.
- W4379538081 cites W2899702797 @default.
- W4379538081 cites W2914740438 @default.
- W4379538081 cites W2949292350 @default.
- W4379538081 cites W2951490272 @default.
- W4379538081 cites W2964232059 @default.
- W4379538081 cites W2965839166 @default.
- W4379538081 cites W2987907651 @default.
- W4379538081 cites W2995074506 @default.
- W4379538081 cites W3004733293 @default.
- W4379538081 cites W3021334088 @default.
- W4379538081 cites W3032976404 @default.
- W4379538081 cites W3046984529 @default.
- W4379538081 cites W3104214893 @default.
- W4379538081 cites W3107232269 @default.
- W4379538081 cites W3167391728 @default.
- W4379538081 cites W3181653342 @default.
- W4379538081 cites W3193902563 @default.
- W4379538081 cites W4289874378 @default.
- W4379538081 cites W4293812913 @default.
- W4379538081 doi "https://doi.org/10.1145/3591263" @default.
- W4379538081 hasPublicationYear "2023" @default.
- W4379538081 type Work @default.
- W4379538081 citedByCount "0" @default.
- W4379538081 crossrefType "journal-article" @default.
- W4379538081 hasAuthorship W4379538081A5016872166 @default.
- W4379538081 hasAuthorship W4379538081A5048841494 @default.
- W4379538081 hasAuthorship W4379538081A5050172197 @default.
- W4379538081 hasBestOaLocation W43795380811 @default.
- W4379538081 hasConcept C154945302 @default.
- W4379538081 hasConcept C168773036 @default.
- W4379538081 hasConcept C17744445 @default.
- W4379538081 hasConcept C184337299 @default.
- W4379538081 hasConcept C199360897 @default.
- W4379538081 hasConcept C199539241 @default.
- W4379538081 hasConcept C2776214188 @default.
- W4379538081 hasConcept C2776359362 @default.
- W4379538081 hasConcept C41008148 @default.
- W4379538081 hasConcept C49937458 @default.
- W4379538081 hasConcept C80444323 @default.
- W4379538081 hasConcept C94625758 @default.
- W4379538081 hasConceptScore W4379538081C154945302 @default.
- W4379538081 hasConceptScore W4379538081C168773036 @default.
- W4379538081 hasConceptScore W4379538081C17744445 @default.
- W4379538081 hasConceptScore W4379538081C184337299 @default.
- W4379538081 hasConceptScore W4379538081C199360897 @default.
- W4379538081 hasConceptScore W4379538081C199539241 @default.
- W4379538081 hasConceptScore W4379538081C2776214188 @default.
- W4379538081 hasConceptScore W4379538081C2776359362 @default.
- W4379538081 hasConceptScore W4379538081C41008148 @default.
- W4379538081 hasConceptScore W4379538081C49937458 @default.
- W4379538081 hasConceptScore W4379538081C80444323 @default.
- W4379538081 hasConceptScore W4379538081C94625758 @default.
- W4379538081 hasIssue "PLDI" @default.
- W4379538081 hasLocation W43795380811 @default.
- W4379538081 hasOpenAccess W4379538081 @default.
- W4379538081 hasPrimaryLocation W43795380811 @default.
- W4379538081 hasRelatedWork W1587224678 @default.
- W4379538081 hasRelatedWork W1603968847 @default.
- W4379538081 hasRelatedWork W181216842 @default.
- W4379538081 hasRelatedWork W1855927527 @default.
- W4379538081 hasRelatedWork W2047793074 @default.
- W4379538081 hasRelatedWork W2739306978 @default.