林赛·库珀;亚伦·图伦;尼拉坎坦·R·克里希纳斯瓦米。;Ryan R.牛顿。 写后冻结,LVar准确定性并行编程。 (英语) Zbl 1284.68143号 2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL’14,第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2544-8)。257-270 (2014). 引用于2文件 MSC公司: 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 68甲18 函数编程和lambda演算 68问题30 算法信息理论(Kolmogorov复杂性等) 关键词:确定性并行;格子;准确定性 软件:哈斯克尔;PLT兑换 PDF格式BibTeX公司 XML格式引用 \textit{L.Kuper}等人,摘自:第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL’14,美国加利福尼亚州圣地亚哥,2014年1月22日至24日。纽约州纽约市:计算机协会(ACM)。257-270(2014年;兹bl 1284.68143) 全文: 内政部