Go to the corresponding LIPIcs Volume Portal 
Hur, ChungKil ; Nori, Aditya V. ; Rajamani, Sriram K. ; Samuel, Selva
pdfformat: 

@InProceedings{hur_et_al:LIPIcs:2015:5655, author = {ChungKil Hur and Aditya V. Nori and Sriram K. Rajamani and Selva Samuel}, title = {{A Provably Correct Sampler for Probabilistic Programs}}, booktitle = {35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)}, pages = {475488}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897972}, ISSN = {18688969}, year = {2015}, volume = {45}, editor = {Prahladh Harsha and G. Ramalingam}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5655}, URN = {urn:nbn:de:0030drops56553}, doi = {10.4230/LIPIcs.FSTTCS.2015.475}, annote = {Keywords: Probabilistic Programming, Program Correctness, Probabilistic Inference, Markov Chain Monte Carlo Sampling} }
Keywords:  Probabilistic Programming, Program Correctness, Probabilistic Inference, Markov Chain Monte Carlo Sampling  
Seminar:  35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)  
Issue Date:  2015  
Date of publication:  11.12.2015 