PMAF: an algebraic framework for static analysis of probabilistic programsOpen Website

Di Wang, Jan Hoffmann, Thomas W. Reps

Published: 2018, Last Modified: 12 May 2023PLDI 2018Readers: Everyone
0 Replies