Design and Implementation of Concurrent Programming Language based on Linear Logic

点击翻译按钮获取中文摘要

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.