Weighted Programming

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski +2

We study weighted programming, a programming paradigm for specifying mathematical models. More specifically, the weighted programs we investigate are like usual imperative programs…