U.S.-Japan Cooperative Research: Fault-Tolerant Programming Based on Attribute Grammars

该奖项将支持为期两年的美国-日本合作社 Richard Schlichting教授的研究项目， 亚利桑那大学计算机科学系， 计算机科学系片山拓也教授 东京工业大学。 该项目的目标是 简化了容错软件的构造，即软件 即使发生故障， 底层计算平台。 具体目的是调整 东京工业大学开发的AG编程语言 技术，通过扩展它来支持两个 容错编程中经常使用的技术， 和复制。 AG基于属性语法，因此， 提供了一些优点，例如声明式风格，语义分离， 和语法定义，以及函数基础。

This award will support a two-year U.S.-Japan cooperative research project between Professor Richard Schlichting, Department of Computer Science, University of Arizona, and Professor Takuya Katayama, Department of Computer Science, Tokyo Institute of Technology. The goal of the project is to simplify the construction of fault-tolerant software, that is, software that can continue to provide service despite failures in the underlying computing platform. The specific intent is to adapt the AG programming languages developed at the Tokyo Institute of Technology for this purpose by extending it to support two techniques frequently used in fault-tolerant programming, recovery and replication. AG is based on attribute grammars, and as such, offers advantages such as a declarative style, separation of semantic and syntactic definitions, and a functional foundation.