遅延機構の高速化及びそれの制約コンパイルへの応用
遅延機構の高速化及びそれの制約コンパイルへの応用
加速延迟机制及其在约束编译中的应用
批准号：
09780298
负责人：
周 能法
金额：
$1.09万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1997
资助国家：
日本
项目状态：
已结题
起止时间：
1997 至 1998
中文摘要
翻译
遅延機構は,関数型,論理型,並行型,制約型などのプログラミング言語の基本的な機構の一つである.これは,計算をある条件が満たされるまで遅延させる機構である.遅延機構は,無限データ列の生成,関数の必要時の評価,生成検証探索アルゴリズムの高速化などに用いられている.また,遅延機構は,制約伝搬法を用いた制約言語処理系の中でも重要な役割を果たしている.本研究では、二つの成果を得た.第一に、現在までの遅延機構の実装法を分析し、引数の頻繁的な移動が遅延機構の低効率の主な原因であることがわかった.我々は,この問題をなくすために,制約をヒープではなく,スタックフレームとして格納するように抽象マシンを設計した.また,スタックフレームの再利用技法も提案した「発表論文1」。第二に、遅延機構を用いた高速な制約コンパイラを構築した「発表論文2」。汎用の伝播手続きではなく、このコンパイラは、与えられた制約に特化した伝播手続きを生成する。
英文摘要
遅延機構は,関数型,論理型,並行型,制約型などのプログラミング言語の基本的な機構の一つである.これは,計算をある条件が満たされるまで遅延させる機構である.遅延機構は,無限データ列の生成,関数の必要時の評価,生成検証探索アルゴリズムの高速化などに用いられている.また,遅延機構は,制約伝搬法を用いた制約言語処理系の中でも重要な役割を果たしている.本研究では、二つの成果を得た.第一に、現在までの遅延機構の実装法を分析し、引数の頻繁的な移動が遅延機構の低効率の主な原因であることがわかった.我々は,この問題をなくすために,制約をヒープではなく,スタックフレームとして格納するように抽象マシンを設計した.また,スタックフレームの再利用技法も提案した「発表論文1」。第二に、遅延機構を用いた高速な制約コンパイラを構築した「発表論文2」。汎用の伝播手続きではなく、このコンパイラは、与えられた制約に特化した伝播手続きを生成する。
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
周能法: "Building Taua Applets by Using DJ-A Jaua-based Constraint・・・" IEEE 23rd International Conference on Software. 予定. (1999)
Taua Applets：“使用 DJ-A 基于 Java 的约束构建 Taua Applets...” IEEE 第 23 届国际软件会议（1999 年）。
Taua Applets：“使用 DJ-A 基于 Java 的约束构建 Taua Applets...” IEEE 第 23 届国际软件会议（1999 年）。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
周能法: "A High-level Intermediate Language and the Alqorithms for compiling Finite-Domain constraints" Proc.Joint International Conference and symposium on Logic programming. 70-84 (1998)
有限域约束：“高级中间语言和编译有限域约束的算法”Proc.Joint International Conference and symposium on Logicprogramming 70-84（1998）。
有限域约束：“高级中间语言和编译有限域约束的算法”Proc.Joint International Conference and symposium on Logicprogramming 70-84（1998）。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
周 能法: "A High-level Intermediate Language and the Algorithms for Compiling constraing" Proc.JICSLP'98. (MIT press). 1-15 (1998)
Nenghou Zhou：“高级中间语言和编译约束算法”Proc.JICSLP98（麻省理工学院出版社）。
Nenghou Zhou：“高级中间语言和编译约束算法”Proc.JICSLP98（麻省理工学院出版社）。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
周能法: "A Novel Implementation Method for Delay" Proc.Joint International Conference and symposium on Logic programming. 97-111 (1996)
延迟的新颖实现方法：Proc.Joint 国际会议和逻辑编程研讨会 97-111 (1996)。
延迟的新颖实现方法：Proc.Joint 国际会议和逻辑编程研讨会 97-111 (1996)。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Javaアプレットを構築するための制約言語DJの実現と応用
-
批准号：11780235
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.64万
-
财政年份：1999
-
负责人：周 能法
-
依托单位：
組合せ探索のためのBeta-Prologの並列化
-
批准号：06750395
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.51万
-
财政年份：1994
-
负责人：周 能法
-
依托单位：
組合せ問題を高速に解くための論理型言語の設計,実現及び応用
-
批准号：05750383
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.38万
-
财政年份：1993
-
负责人：周 能法
-
依托单位：
海外基金