×

Found 2 Documents (Results 1–2)

Conditioning in probabilistic programming. (English) Zbl 1351.68066

Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 199-216, electronic only (2015).
MSC:  68N19 68Q55 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Understanding probabilistic programs. (English) Zbl 1444.68045

Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 15-32 (2015).
MSC:  68N19 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Main Field

Software