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

古典線形論理に基づいた論理型言語に関する研究

基于经典线性逻辑的逻辑语言研究

基本信息

批准号：
10139224
负责人：
田村直之
金额：
$ 0.9万
依托单位：
Kobe University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
财政年份：
1998
资助国家：
日本
起止时间：
1998 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139224/
关键词：
線形論理論理型言語静的解析

项目摘要

Millerにより設計されたForumは,古典線形論理に基づいた仕様記述言語であり,RISCプロセッサの仕様記述,Algol風言語の仕様記述,SMLの仕様記述,関数論理型並列言語の仕様記述などに用いられており,ペンシルバニア州立大学,ハーヴェイ・マッド・カレッジ,セント・アンドリュース大学,マラガ大学,神戸大学などで処理系が開発されているが,Forumには効率的な実行が困難という問題点がある.本年度は,Forumの効率的実行を目標として,Forumプログラムの静的解析アルゴリズムの研究開発を行った.具体的には以下の研究開発を行った.● Forumの実行過程,すなわち証明過程を有限のAND-ORグラフで表現する方法の研究● そのAND-ORグラフ上で,静的解析を行い,実行されないノードを取り除くことによって,最適化されたAND-ORグラフを作成するアルゴリズムの開発● 最適化されたAND-ORグラフを元に,Forumプログラムを効率良く実行する処理系の設計リスト整列プログラムをベンチマークとして,上記手法の有効性を調べた所,長さ6のリストの整列について,1000倍近い速度向上が得られた.

Miller Design Forum, Classical Linear Logic, Basic Language Description,RISC Language Description,Algol Language Description,SML Language Description, Related Logic Parallel Language Description, Application, Select State University, Select University, Select University, Kobe University, Select University, Kobe University, Select Processing System, Select Language Forum This year, the Forum's effectiveness implementation goals and objectives,Forum Forum Specific research and development activities are described below.● Forum implementation process, the proof process and finite AND-OR class performance method research ● All AND-OR class, static analysis process, implementation of the process to remove the problem, optimization and AND-OR class to create a solution to the problem ● Optimization and AND-OR class to create a solution to the problem, The design of the processing system of Forum Forum is very efficient. The design of the processing system is very efficient. The above method is effective. The length of the processing system is 6 times. The speed of the processing system is 1000 times.