「"項書換え系"」の検索結果 | NDLサーチ

検索結果 13 件

タイトルでまとめる

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

紙図書

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

国立国会図書館

件名項書換え系 / 関数型言語

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

紙図書

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

国立国会図書館

件名項書換え系正規化戦略関数型言語

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

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

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

デジタル文書・図像類

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

全国の図書館

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

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

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

検索結果は以上です。