Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
StacKAT: Infinite State Network Verification
Jules Jacobs, Nate Foster, Tobias Kappé +4
We develop StacKAT, a network verification language featuring loops, finite state variables, nondeterminism, and - most importantly - access to a stack with accompanying push and p…
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…