Search results for "項書換え系" | NDL Search

Search results 13

Group by title

関数型言語の解析・検証・効率的実行のための書換え系理論の研究

Paper図書

酒井正彦, 名古屋大学 [著][酒井正彦]2003-2005<Y151-H15500007>

National Diet Library

Subject Heading項書換え系 / 関数型言語

関数型言語における計算戦略

Paper図書

酒井, 正彦, 名古屋大学1999-2002<Y151-H11680352>

National Diet Library

Subject Heading項書換え系正規化戦略関数型言語

書換えに基づく例外型を持つオブジェクト指向プログラムの型推論

Paper図書

坂部俊樹, 名古屋大学 [著][坂部俊樹]2004-2007<Y151-H16300005>

National Diet Library

Subject Headingオブジェクト指向計算 / 例外処理 / 通信エラー / 機密性 / 型推論 / 項書換え系

代数的手法に基づくソフトウエアの検証の基礎的研究

Paper図書

酒井, 正彦, 名古屋大学1995-1997<Y151-H07680350>

National Diet Library

Subject Heading項書換え系合流条件停止条件 E単一化完備化

理論計算機科学における数理論理学の応用

Paper図書

小野, 寛晰, 北陸先端科学技術大学院大学1996-1997<Y151-H08680356>

National Diet Library

Subject Heading部分構造論理様相論理項書換え系構成的数学

エージエントの分散制約充足に基づく計算機システムの検証および診断

Paper図書

栗原, 正仁, 北海道工業大学1997-1999<Y151-H09650444>

National Diet Library

Subject Headingエージエント分散制約充足停止性検証二分決定グラフ項書換え系

抽象高階書換え系によるプロセス計算系の定式化に関する研究

Paper図書

鈴木, 大郎, 会津大学2001-2002<Y151-H13680388>

National Diet Library

Subject Headingプロセス計算系抽象高階項書換え系 π-計算系プロセス書換え系関数論理型言語高階ナロ-イ...

高階関数・論理的プログラムの計算モデル

Paper図書

井田, 哲雄, 筑波大学1996-1997<Y151-H08458059>

National Diet Library

Subject Headingナローイング高階関数・論理型言語計算モデル条件付き項書換え系完全性

代数的メタプログラミングに関する基礎的研究

Paper図書

濱口, 毅, 名古屋大学1996-1997<Y151-H08458067>

National Diet Library

Subject Headingメタ計算書換え計算項書換え系並行計算検証代数的仕様帰納的定理被覆集合帰納法

プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフオーメーシヨン

Paper図書

栗原, 正仁, 北海道大学1992-1995<Y151-H04650298>

National Diet Library

Subject Heading項書換え系プログラム合成停止性検証 EBL 完備化リフレクシヨ...

形式証明の理論依存性解析とその計算可能証明発見への応用

Digitalその他

小川, 瑞史2016-06-03科学研究費助成事業研究成果報告書p.1-4

Other Libraries in Japan

Subject Heading形式証明計算的意味項書換え系合流性構成的証明
Note (General)...行った。「右線形かつ強無曖昧な項書換え系は合流性を持つ」(RTA open problem 58)は...

関数型並行計算モデルに関する基礎的研究

Paper図書

坂部, 俊樹, 名古屋大学1990-1991<Y151-H02680020>

National Diet Library

Subject Heading並行計算関数型計算モデル CCS ブロードキヤストナローイング並行プセス項書換え系動的項書換計算

代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究

Paper図書

稲垣康善, 名古屋大学1987-1988<Y151-S62880007>

National Diet Library

Subject Headingソフトウエア代数的仕様記述データ型型構成子直接実現項書換え系プロトタイピング段階的詳細化

Reached to the end of result.

RSS