切片概率程序

中基尔湖,阿迪蒂亚·诺里,斯里拉姆·拉贾马尼,塞尔瓦·萨缪尔.切片概率程序.迈克尔·F·P·奥博伊尔,凯沙夫·平加里,编辑,2014年6月9日至11日,英国爱丁堡,2014年PLDI,ACM SIGPLAN编程语言设计与实现会议.16、ACM、,2014 [美国国防部]

摘要

缺少摘要。