@Article{2012c,
author = {}, 
title = {Bayesian Inference for Probabilistic Programs via Symbolic Execution (Submission)}, 
journal = {}, 
volume = {}, 
number = {}, 
pages = {1--9}, 
year = {2012}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":"ntJQTvAFsG6xbS7Ej","bibbaseid":"-bayesianinferenceforprobabilisticprogramsviasymbolicexecutionsubmission-2012","authorIDs":[],"author_short":[""],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":[],"propositions":[],"lastnames":[""],"suffixes":[]}],"title":"Bayesian Inference for Probabilistic Programs via Symbolic Execution (Submission)","journal":"","volume":"","number":"","pages":"1–9","year":"2012","abstract":"","location":"","keywords":"","bibtex":"@Article{2012c,\nauthor = {}, \ntitle = {Bayesian Inference for Probabilistic Programs via Symbolic Execution (Submission)}, \njournal = {}, \nvolume = {}, \nnumber = {}, \npages = {1--9}, \nyear = {2012}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":[""],"key":"2012c","id":"2012c","bibbaseid":"-bayesianinferenceforprobabilisticprogramsviasymbolicexecutionsubmission-2012","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.365Z","downloads":0,"keywords":[],"search_terms":["bayesian","inference","probabilistic","programs","via","symbolic","execution","submission",""],"title":"Bayesian Inference for Probabilistic Programs via Symbolic Execution (Submission)","year":2012,"dataSources":["hEoKh4ygEAWbAZ5iy"]}