Probabilistic Program Analysis with Martingales Aleksandar Chakarov1 and Sriram Sankaranarayanan1 University of Colorado, Boulder, CO. Abstract. We present techniques for the analysis of

First Page		Document Content
Date: 2013-05-24 15:17:11		Probabilistic Program Analysis with Martingales Aleksandar Chakarov1 and Sriram Sankaranarayanan1 University of Colorado, Boulder, CO. Abstract. We present techniques for the analysis of Add to Reading List Source URL: www.cs.colorado.edu Download Document from Source Website File Size: 369,90 KB Share Document on Facebook