検索結果 13 件
紙図書
国立国会図書館
- 件名並列プログラミング / 並列スケルトン / 構成的アルゴリズム論 / スケルトンプログラミング / プログラム変換
デジタル文書・図像類
全国の図書館
- 件名プログラム変換 単純型付項書き換えシステム パターンマッチング
- 一般注記項書き換えに基づくパターンによるプログラム変換の枠組みを拡張し,高階関数を直接取り扱うことが出来るプログラム変換枠組みの構築を目指した.理論的......em,STTRS)を採用した.プログラム変換の正当性を検証するための手続き......また,STTRSパターンによるプログラム変換を実現するために,STTRSパターンマッチングアルゴリズムを...
デジタル文書・図像類
全国の図書館
- 件名双方向変換 相互運用性 グラフ変換 モデル変換 プログラミング言語 プログラム変換 加法性 漸進的双方向化
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名...動的解析 プログラムトレース プログラム変換 可視化 Java 言語 バイトコード
検索結果は以上です。