Weighted Programming. - Kevin Batz; Adrian Gallus; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Tobias Winkler 001 (CoRR, 2022)

Weighted programming: a programming paradigm for specifying mathematical models. - Kevin Batz; Adrian Gallus; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Tobias Winkler 001 (Proc. ACM Program. Lang., 2022)