权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Design and Implementation of Concurrent Programming Language based on Linear Logic

基于线性逻辑的并发编程语言的设计与实现

基本信息

批准号：
06452389
负责人：
YONEZAWA Akinori
金额：
$ 3.84万
依托单位：
University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (B)
财政年份：
1994
资助国家：
日本
起止时间：
1994 至 1995
项目状态：
已结题

项目摘要

The goal of our research is to develop a theoretical foundation of concurrent computation based on linear logic so that we can uniformly discuss various issues of concurrent programming languages : program analyzes, language desigh, and implementation techniques. The concrete research achievements are in order.1. Development of a concurrent linear logic programming framework ACL/Higher-order ACL : We showed that the esence of concurrent computation is captured by proof search in first-otder linear logic. We further extended it to a higher-order system, and showed that static type systems and higher-order processes for concurrent programming languages are naturally introduced in the system.2. Design and implementation of a typed concurrent linear logic programming language HACL : We designed and implemented a programming language HACL based on concurrent linear logic programming framework. A compiler on a single processor workstation was constructed, and programming experiments were made by using the compiler. We also constructed a prototype compiler on a cluster of workstations.3. Study of high-level mechanisms for concurrent object-oriented languages through HACL : We showed that various high-level mechanisms of concurrent objects-inheritance, access control for methods-are easily constructed on top of HACL.The result implies not onbly that we can construct a concurrent object-oriented interface of HACL,but also that we can uniformly discuss various issues of other concurrent object-oriented languages.4. Development of program analysis techniquse : Novel program analysis techniques for concurrent programming languages were developed through HACL.The proposed techniques enable compile-time optimizations, and also improve reliability of concurrent programs.

我们的研究目标是建立一个基于线性逻辑的并发计算的理论基础，以便我们能够统一地讨论并发编程语言的各种问题：程序分析，语言设计和实现技术。具体的研究成果如下。并发线性逻辑规划框架ACL/高阶ACL的开发：我们证明了并发计算的本质是通过一阶线性逻辑中的证明搜索来捕获的。我们进一步将其扩展到一个高阶系统，并表明静态类型系统和并发编程语言的高阶过程自然地被引入系统中。一种类型并发线性逻辑编程语言HACL的设计与实现：设计并实现了一种基于并发线性逻辑编程框架的编程语言HACL。在单处理机工作站上构建了一个编译器，并利用该编译器进行了编程实验。我们还在一个工作站集群上构建了一个原型编译器。通过HACL研究并发面向对象语言的高级机制：我们展示了并发对象的各种高级机制——继承、方法的访问控制——可以很容易地在HACL之上构建。结果表明，我们不仅可以构造一个并行的面向对象的HACL接口，而且可以统一地讨论其他并行的面向对象语言的各种问题。程序分析技术的发展：通过HACL开发了新的并发编程语言的程序分析技术。所提出的技术支持编译时优化，并且还提高了并发程序的可靠性。