Jump to main content
図書

並行論理プログラミングにおける静的モード体系の応用的側面に関する研究

Icons representing 図書

並行論理プログラミングにおける静的モード体系の応用的側面に関する研究

Call No. (NDL)
Y151-H07680371
Bibliographic ID of National Diet Library
000007009620
Material type
図書
Author
上田, 和紀, 早稲田大学
Publisher
-
Publication date
1995-1997
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
ヘイコウ ロンリ プログラミング ニ オケル セイテキ モード タイケイ ノ オウヨウテキ ソクメン ニ カンスル ケンキュウ
Author/Editor
上田, 和紀, 早稲田大学
Author Heading
著者 : 上田, 和紀, 1956- ウエダ, カズノリ, 1956- ( 00386597 )Authorities
Publication Date
1995-1997
Publication Date (W3CDTF)
1995
Extent
Additional Title
研究種目 基盤研究(C)
Subject Heading
並行論理プログラミング ヘイコウロンリプログラミング
モード体系 モードタイケイ
モード解析 モードカイセキ
プログラム診断 プログラムシンダン
デバツグ デバツグ
制約充足 セイヤクジユウソク
最適化 サイテキカ
GHC GHC