A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Reactive probabilistic programming
2020
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or SCADE used routinely for implementing safety critical control software, e.g., fly-bywire and engine control in planes. However, to date these languages have had limited modern support for modeling uncertainty -probabilistic aspects of the software's environment or behavior -even though modeling uncertainty is a primary activity when designing a control system. In this paper we present ProbZelus the first
doi:10.1145/3385412.3386009
dblp:conf/pldi/BaudartMASPC20
fatcat:eo67nukmj5brddngglkxaslt4i