Paper at OOPSLA 2022

The paper entitled “Weighted Programming: A Programming Paradigm for Specifying Mathematical Models” by Kevin Batz, Adrian Gallus, Benjamin Kaminski, Joost-Pieter Katoen and Tobias Winkler has been accepted for OOPSLA 2022, which will be held as part of the ACM Conference on Systems, Programming, Languages, and Applications:¬†Software for Humanity (SPLASH’22). The papers develops weakest-precondition- and weakest-liberal-precondition-style calculi √† la Dijkstra for reasoning about mathematical models specified by weighted programs. Weighted programs have a wide applicability, e.g., by means of weakest-precondition-style reasoning, the competitive ratio of online algorithms can be determined on source code level.