English (United States)
Former work by Danner et al.  has formalized a method of extracting recurrences that bound the complexity of higher-order programs. However, these bounds do not offer useful information about the costs of all programs - in particular, programs with stochastic processes. Karp  defines several forms of recurrences describing the cost of probabilistic algorithms; we develop languages which allow us to express recurrences of these forms. We also offer denotational semantics for these languages, and demonstrate using example recurrences given by Karp that the denotation of a recurrence is equal to its solution. These languages and denotational semantics may be tied in to the framework developed by Danner et al. to offer more useful bounds on a wider array of programs.
Barnaby, Celeste Louise, "Denotational Semantics for Probabilistic Recurrences" (2018). Honors Theses - All. 1997.
© Copyright is owned by author of this document