1 citations · 1 across the 1 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026★ 1 cited
Correct and Complete Symbolic Execution for Free
Erik Voogd, Einar Broch Johnsen, à smund Aqissiaq Arild Kløvstad +2
Symbolic execution is a powerful technique for program analysis. However, the formal semantics underlying symbolic execution is often developed on an ad-hoc basis and decoupled fro…
cs.PL2024
Joint Distributions in Probabilistic Semantics
Dexter Kozen, Alexandra Silva, Erik Voogd
Various categories have been proposed as targets for the denotational semantics of higher-order probabilistic programming languages. One such proposal involves joint probability di…