Applications of Strong Moding in Concurrent Logic Programming

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

基本信息

  • 批准号:
    07680371
  • 负责人:
  • 金额:
    $ 1.54万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    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静态模态系统(强模态)的理论方面,并设计了模态分析的算法。在本项目中,我们对强建模的实践方面进行了研究,并从以下几个方面论证了强建模的有效性:模式分析器的实现——我们使用KL1本身作为实现语言,为并发逻辑语言KL1实现了模式分析器klint。这个系统被修改了几次,直到它能够处理大型的、现实生活中的程序。强建模下的描述能力——通过对各种现实生活中的Eli程序的分析,我们证明了具有强建模的并发逻辑语言与没有强建模的并发逻辑语言一样实用和富有表现力。基于强建模的程序诊断——强建模对于程序错误的静态检测非常有用。设计并实现了一套有效分析非良态程序误差的算法。此外,我们提出了一种自动纠错的方法,并表明它对小程序错误的处理非常有效。基于强建模的优化——我们证明,除了模式信息外,通过使用类型和线性信息,可以消除许多运行时操作,如标签检查,从而使性能与过程程序获得的性能相差不大。

项目成果

期刊论文数量(18)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
長健太,上田和紀: "モード誤りをもつ並行論理プログラムの静的デバッグ手法" 1996年度並列処理シンポジウム論文集. 219-226 (1996)
Kenta Cho、Kazunori Ueda:“具有模式错误的并发逻辑程序的静态调试方法”1996 年并行处理研讨会论文集 219-226 (1996)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
網代,長,上田: "静的解析と制約充足によるプログラム自動デバッグ" コンピュータソフトウェア. 15-1. 54-58 (1998)
Ajiro, Cho, Ueda:“使用静态分析和约束满足进行自动程序调试”计算机软件 15-1。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Michael Maher: "Logic Programming : Proceedings of the 1996 Joint Conference and Symposium" The MIT Press, 554 (1996)
Michael Maher:“逻辑编程:1996 年联合会议和研讨会论文集”麻省理工学院出版社,554 (1996)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
長健太, 上田和紀: "モード誤りをもつ並行論理プログラムの静的デバッグ手法" 1996年度並列処理シンポジウム論文集. 219-226 (1996)
Kenta Cho、Kazunori Ueda:“具有模式错误的并发逻辑程序的静态调试方法”1996 年并行处理研讨会论文集 219-226 (1996)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

UEDA Kazunori其他文献

UEDA Kazunori的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('UEDA Kazunori', 18)}}的其他基金

Research of peer-to-peer network application based on multi-overlay networks
基于多重覆盖网络的点对点网络应用研究
  • 批准号:
    16K00137
  • 财政年份:
    2016
  • 资助金额:
    $ 1.54万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Evolutionary development of a model checker compiler using verification technology and non-standard type systems
使用验证技术和非标准类型系统的模型检查器编译器的进化开发
  • 批准号:
    24650016
  • 财政年份:
    2012
  • 资助金额:
    $ 1.54万
  • 项目类别:
    Grant-in-Aid for Challenging Exploratory Research
Implementations of high-level modeling languages that integrate high-performance verifiers
集成高性能验证器的高级建模语言的实现
  • 批准号:
    23300011
  • 财政年份:
    2011
  • 资助金额:
    $ 1.54万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
High-level hybrid constraint modeling language and its reliable implementation
高级混合约束建模语言及其可靠实现
  • 批准号:
    20300013
  • 财政年份:
    2008
  • 资助金额:
    $ 1.54万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Putting Scalable and Unifying Programming Language Model LMNtal into Practical Use
将可扩展且统一的编程语言模型 LMNtal 投入实际使用
  • 批准号:
    16300009
  • 财政年份:
    2004
  • 资助金额:
    $ 1.54万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Wide-Area and Distributed Computation Paradigm Based on Concurrent Logic Programming
基于并发逻辑编程的广域分布式计算范式
  • 批准号:
    11680370
  • 财政年份:
    1999
  • 资助金额:
    $ 1.54万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)

相似海外基金

an analysis between Italian mode system and textile industry structure in the interwar period
两次世界大战期间意大利模式体系与纺织工业结构分析
  • 批准号:
    15K17102
  • 财政年份:
    2015
  • 资助金额:
    $ 1.54万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
MAC-Mode system for imaging bio-receptive layers on cantilever sensors
用于对悬臂传感器上的生物感受层进行成像的 MAC 模式系统
  • 批准号:
    374589-2009
  • 财政年份:
    2008
  • 资助金额:
    $ 1.54万
  • 项目类别:
    Research Tools and Instruments - Category 1 (<$150,000)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了