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

该奖项将支持亚利桑那大学计算机科学系Richard Schlichting教授和东京工业大学计算机科学系Takuya Katayama教授之间为期两年的美日合作研究项目。该项目的目标是简化容错软件的建设，即在底层计算平台出现故障的情况下仍能继续提供服务的软件。具体目的是调整东京工业大学为此目的开发的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.