ACM通信
研究档案
研究档案提供对ACM通信过去几期发表的所有研究文章的访问。
2016年8月
选自ACM通信
验证在不可靠硬件上执行的程序的定量可靠性
我们介绍了Rely，一种编程语言，它使开发人员能够推理应用程序的定量可靠性——即，当在不可靠的硬件上执行时，它产生正确结果的概率……
选自ACM通信
Ur/Web:一个简单的Web编程模型
本文介绍了Ur/Web，这是一种特定于领域的静态类型函数式编程语言，它将现代Web应用程序的Web标准简化为一个简单的编程模型。
选自ACM通信
技术视角:面向不可靠硬件的可靠编程
Carbin等人的《为在不可靠的硬件上执行的程序验证定量可靠性》一书解决了与错误相关的挑战，错误发生的可能性，以及它将如何影响应用程序的行为。
选自ACM通信
技术角度:为什么我没有想到?
到目前为止，Web应用程序中的数据库一直被视为全局变量，所有人都可以访问。在《Ur/Web: Web编程的简单模型》一书中，Adam Chlipala提出了一个更好的方法。