Applications of Strong Moding in Concurrent Logic Programming

强模态在并发逻辑编程中的应用

基本信息

批准号：
07680371
负责人：
UEDA Kazunori
金额：
$ 1.54万
依托单位：
Waseda University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
1995
资助国家：
日本
起止时间：
1995 至 1997
项目状态：
已结题

项目摘要

The outstanding features of concurrent logic programming languages such as GHC (Guarded Horn Clauses) are the extreme simplicity of its communication and synchronization mechanisms and its flexibility in describing concurrency. To make the languages really practical, however, static analysis needs to play key roles both in programming and optimization.The head investigator had worked on the theoretical aspects of the static mode system (strong moding) for GHC and designed the algorithms for mode analysis. In this project, we worked on the practical aspects of strong moding and demonstrated its effectiveness from the following respects :1. Implementation of a mode analyzer - We implemented the mode analyzer klint for the concurrent logic language KL1 using KL1 itself as an implementation language. The system was revised several times until it could process large, real-life programs.2. Descriptive power under strong moding - We demonstrated, through the analysis of various real-life Eli programs, that concurrent logic languages with strong moding are as practical and expressive as those without strong moding.3. Program diagnosis based on strong moding - Strong moding turned out to be extremely useful for the static detection of program errors. We designed and implemented a set of algorithms for analyzing the errors of non-well-moded programs efficiently. Furthermore, we proposed a method of automated error correction and showed that it worked quite well for small program errors.4. Optimization based on strong moding - We demonstrated that, by using type and linearity information in addition to mode information, many of runtime operations such as tag checking could be eliminated, leading to performance not too different from that obtained by procedural programs.

并发逻辑编程语言（例如GHC（守卫号角））的出色特征是其通信和同步机制的极端简单性及其在描述并发方面的灵活性。但是，要使语言真正实用，静态分析需要在编程和优化中扮演关键角色。首席研究员曾在GHC的静态模式系统（强度调节）的理论方面工作，并为模式分析设计了算法。在这个项目中，我们从事强度适中的实际方面，并从以下方面证明了其有效性：1。实现模式分析仪 - 我们使用KL1本身作为实现语言实施了同时逻辑语言KL1的模式分析仪KLINT。对该系统进行了几次修订，直到可以处理大型现实生活程序。2。在强大的调度下的描述能力 - 我们通过分析各种现实生活中的ELI计划，表明并发的逻辑语言具有强大的适应方式与没有强大适应的逻辑语言一样实用和表现力。3。基于强度适度的程序诊断 - 强大的调节对于程序错误的静态检测非常有用。我们设计并实施了一组算法，用于有效地分析非电气模式程序的错误。此外，我们提出了一种自动误差校正的方法，并表明它在小程序错误方面效果很好。4。基于强度调节的优化 - 我们证明，除了使用模式信息之外，还可以使用类型和线性信息，可以消除许多运行时操作，例如标签检查，从而导致性能与程序程序获得的绩效没有太大不同。