23 citations · 74 across the 18 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023
Automated Expected Value Analysis of Recursive Programs
Martin Avanzini, Georg Moser, Michael Schaper
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…
cs.PL2013★ 4 cited
A Haskell Library for Term Rewriting
Bertram Felgenhauer, Martin Avanzini, Christian Sternagel
We present a Haskell library for first-order term rewriting covering basic operations on positions, terms, contexts, substitutions and rewrite rules. This effort is motivated by th…