3 papers
cs.PL2026
Towards a Deductive Verification Infrastructure for Weighted Programming
Emma Ahrens, Samuel Rode, Philipp Schröer +1
Weighted programs extend guarded commands with trace weights drawn from a semiring, or more generally a monoid-module. Varying this algebra gives one programmatic syntax for a vari…
cs.LO2025
Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl +1
We present novel semiring semantics for abstract reduction systems (ARSs). More precisely, we provide a weighted version of ARSs, where the reduction steps induce weights from a se…
cs.LO2021
Reasoning about Reconfigurations of Distributed Systems
Emma Ahrens, Marius Bozga, Radu Iosif +1
This paper presents a Hoare-style calculus for formal reasoning about reconfiguration programs of distributed systems. Such programs create and delete components and/or interaction…