Incremental inference for probabilistic programs.

Marco F. Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka

Browse the full PLDI paper archive.