概念制約式を用いたプログラミングとプログラム合成
スポンサーリンク
概要
- 論文の詳細を見る
あるプログラムと、そのプログラムが満たす要求仕様とが与えられたとする。この時、要求仕様の変化に応じてプログラムを適切に修正する作業を機械的に行なう、という問題を考えることが出来る。この問題は、下のように2つの部分問題に分けることが出来る。(a)プログラム本体の"どの部分を"修正するか決定する(b)(a)の結果を"どのように"修正するか決定する本稿では(b)について議論する。議論を(b)のみに限定しうる例として、元のプログラムに類似した"プログラムそのもの"を変更要求として用いる場合を取り上げる。このような形態のプログラム修正を"合成"と呼ぶ。この例を通して、機械的に修正可能なプログラムを記述するためにプログラミング言語の側が提供するべき特性(能力)について考察する。そのような特性をプログラミング言語に与えるための仕組みとして、新たに概念制約式を提案する。概念制約式を用いることで"合成"可能なプログラムを記述できる実例をあげる。
- 一般社団法人情報処理学会の論文
- 1993-09-27
著者
-
川口 喜三男
名古屋工業大学情報処理教育センター
-
川口 喜三男
名古屋工業大学電気情報工学科
-
有田 隆也
名古屋工業大学電気情報工学科
-
小林 弘明
名古屋工業大学電気情報工学科
-
曽和 将容
電気通信大学大学院情報システム研究科
-
曽和 将容
電気通信大学
-
小林 弘明
電気通信大学大学院情報システム学研究科
関連論文
- 動的故障に対応する並列計算機用適応ルータに関する検討(ディペンダブルコンピュータシステム及び一般)
- 浅い束縛による動的スコープ変数が存在する時の末尾再帰呼び出し
- 5L-1 さまざまなプロセッサに対応する命令レベル並列コンパイラに関する研究
- 3H-7 投機実行の動的なスケジューリング技法
- 3H-6 動的なスケジューリングを行うマルチスレッドプロセッサの提案
- 3H-5 ページング機構を用いたキャッシュレベルメモリの管理に関する研究
- イメージ/ビデオコンテンツの自動アノーテーション
- 並列度に依存しないスケジューリング
- キューマシン計算モデルに基づくスーパスカラ・プロセッサの設計
- プログラム制御キャッシュレベルメモリの性能 : ハードウェア
- ソート集合のある分割に対する並列アルゴリズムについて
- マルチメディアを用いた導入教育
- 命令再構成型VLIWプロセッサV++における2つの再構成機能の評価
- バリア同期のためのタスクスケジューリングアルゴリズムとその性能評価
- 命令再構成型VLIWプロセッサV++における適応型再構成戦略
- 重複可能なバリア型同期のための最適バリアスケジューリング
- 概念制約式を用いたプログラミングを可能にするコンパイル手法
- バリアを唯一の同期手段とした場合のタスクスケジューリング
- 自己組織系集団による通信の進化の試み
- 自己組織系集団による通信の進化の試み
- ランギーII:仮想的生物による通信の進化
- オブジェクト/スレッドモデルオペレーティングシステムにおける柔軟できめの細かい保護機構の設計
- ソフトウェア制御階層命令メモリシステムに関する研究 : シミュレーションによる性能評価
- ソフトウェア制御階層命令メモリシステム : アーキテクチャ
- C-015 BidirectionalなSIMDをもつキュープロセッサ(C分野:アーキテクチャ・ハードウェア)
- キュー計算原理によるSMT型マルチスレッド並列キュープロセッサの提案と設計(アーキテクチャ)
- キュー計算原理によるSMT型マルチスレッド並列キュープロセッサの提案と設計
- 複数種の生物集団の共存する人工生命環境の設計
- 概念制約式を用いたプログラミングとプログラム合成
- ユーザプログラム制御階層メモリシステムの評価
- ユーザプログラム制御階層メモリシステムに関する研究
- m台の機械, S人の段取り作業者からなる生産システムの特性解析
- 受動資源と能動資源を有する待ち行列システム
- 星状多角形内の同期式自律分散ロボットの一点集合問題
- 2連結グラフに対するATM網に適した最適な耐故障性ルーティング
- 点集合の強凸-包含を求めるアルゴリズム
- スーパーキューブの耐故障性について
- 2辺連結グラフの4分割について
- グラフのあるk-分割問題に対する効率的なアルゴリズムについて
- 重みつきグラフのk分割問題について
- 3個の空位をもつN×M-平面自動倉庫(N,M≧3)の最小歩数関数
- 異なる半径の数を限定した円集合の凸包を求める最適並列アルゴリズム
- 誤差耐性のある強凸包構成問題に対する並列解法
- 拡張超立方体グラフに対する耐故障性路線割当と直径罹障度
- 円集合の凸包を求める効率の良い並列アルゴリズム
- コンパイラ教育支援システムにおける属性文法に基づく意味解析系提示ツールの作成
- アルゴリズムの可視化に基づくコンパイラ教育支援システム
- k-辺連結有向(無向)グラフに対する高信頼性路線割当の存在条件と計算量
- 通信網に対する高信頼性最適路線割当ての存在条件と計算量の改善
- 3個の空位を持つN×M-平面自動倉庫の最小歩数関数
- 連結グラフの(L,κ)-辺分割線形時間アルゴリズムとκ-辺連結グラフに対する高信頼性路線割当
- 3連結グラフにおける3-独立木構成アルゴリズムと2点間の内点独立路を求めるアルゴリズム
- PN コンピュータのフエッチ手法の改善
- 非均質並列プロセッサ用プログラムのスケジューリング法
- 論文には新規性があってはいけない?(「情報技術の新時代に向けて」)
- BSCP並列コンピュータの構築
- 2T-7 データベースエンジンへのプログラム制御キャッシュレベルメモリの適用
- 命令フェッチをプログラム制御するプロセッサ・アーキテクチャ
- 単一アドレス空間におけるプロセス生成とデータ共有
- PNプロセッサにおけるデータキャッシュミスの性能に与える影響
- 3種類の並列キュー計算モデルの基本特性
- B-022 GCCによるキュー・コンパイラ開発手法の提案(B分野:ソフトウェア)
- 耐故障・適応ルーティングのセルフチューニングに関する検討
- 耐故障・適応ルーティングのセルフチューニングに関する検討
- 耐故障・適応ルーティングのセルフチューニングに関する検討(ディペンダブルコンピュータシステム及び一般)
- 耐故障・適応ルーティングのセルフチューニングに関する検討(ディペンダブルコンピュータシステム及び一般)
- キャンパスP2Pネットワークにおけるパーソナライズド検索(ネットワーク, 組込技術とネットワークに関するワークショップ)
- キャンパスP2Pネットワークにおけるパーソナライズド検索
- 耐故障性を考慮したk-ary n-cube用適応デッドロック回復ルーティング(ネットワーク)
- C-029 Verilog-HDLによる並列キュープロセッサのデザイン(C.アーキテクチャ・ハードウェア)
- 並列キュー計算モデルの基本特性評価(CPSY-3 性能評価)(2004年並列/分散/協調処理に関する「青森」サマーワークショップ(SWoPP青森2004))
- 漢字および漢字熟語の声形符号
- 遺伝的アルゴリズムを用いたホップフィールド型ニューラルネットワークの設計
- スレッド内無従属性表現とそれに基づく細粒度コンピュータアーキテクチャの提案
- 非均質並列プロセッサ用プログラムの実行時間の下界
- 小並列機能分割型プロセッサ用プログラムの一構築法
- 非阻塞グラフに関する一考察
- VLIW型プロセッサへの命令再構成機構の導入
- 放送型定並列計算機BSCPコンピュータの提案
- 実行タイミングの動的変動に強い静的プロセッサスケジューリング
- 複数パイプラインのステージレベル静的スケジューリング
- 問題が持つ先行関係のみを保証する高速な静的実行順序制御機構
- 実行タイミングの動的変動に強い静的スケジュール法「DP-DTSP」の特性評価
- PNプロセッサの機能分割とトークン通信に関する評価
- PNプロセッサにおけるフロー制御方式について
- 故障発生時の連結性判定問題を解く分散アルゴリズムについて
- 点数の少ない多重サイクルグラフ上の耐故障性路線割当
- 多重サイクルグラフ上の高信頼性路線割当の構成
- 故障耐性の高い路線割当をもつ通信網の構成問題
- 直径の小さいグラフとその上の耐故障性路線割当ての構成
- 有向,無効グラフに対する最適なt-spannerの構成について
- 一般化された埋込み方式のもとでのグラフの埋込み面積の上・下界
- 一般のグラフの埋込み面積のMax-Min下界
- 動的スケジューリング可能な一般化静的順序制御機構についての検討
- 多重サイクルグラフ上の高信頼性路線割当ての構成
- 一般化された埋込み方式のもとでのグラフの埋込み面積の上・下界
- 故障が存在する計算機網に対する連結性判定分散アルゴリズム
- 直径の小さいグラフとその上の耐故障性路線割当ての構成
- 一般のグラフの埋込み面積のMax-Min下界
- 点数の少ない多重サイクルグラフ上の耐故障性路線割当