決定的なPrologプログラムのCへの変換および最適化
スポンサーリンク
概要
- 論文の詳細を見る
現在のPrologコンパイラの実現には2つの方法がある.1つ目の方法はプログラムを抽象マシンの命令にコンパイルするもの(方法1)である.この方法は移植性や実現性は高いもののバイトコードを解釈し実行するためオーバーヘッドを生じる.このためあまり高速な処理は望めない.2つ目の方法はプログラムを実際のマシン命令(ネイティブコード)にコンパイルするもの(方法2)である.この方法は,方法1に比べて高速であるが移植性や実現性は低い.本論文では,方法1と方法2とを融合する新しい方法について述べる.この方法では,大域決定的なプログラムは,まずCに変換され,Cコンパイラによってネイティブコードにコンパイルされる.非決定的なプログラムは,バイトコードに変換される.この方法は,方法1の利点を持っているだけではなく.方法2なみの性能を得ることができる.
- 一般社団法人情報処理学会の論文
- 1993-03-01
著者
-
片峯 恵一
九州工業大学
-
長澤 勲
九州工業大学大学院情報工学研究科
-
長澤 勲
九州工業大学大学院情報工学研究院
-
長澤 勲
九州工業大学
-
周 能法
ニューヨーク市立大学ブルックリン校情報科学部
-
周 能法
九州工業大学情報工学部機械システム工学科
関連論文
- 要求獲得に起因するスケジュール遅れを防ぐためのPMパターンの研究について(要求工学教育,プロジェクト管理)
- 1506 プロジェクト要件の価値評価方法とそのモデリング(一般セッション)
- 組込みシステム非正常系分析手法の定性推論による定式化
- アスペクト指向に基づくMDAモデルコンパイラとその実装
- 注射用抗悪性腫瘍剤の製品規格選択が薬剤費に及ぼす影響
- CCPM法を用いた継続的改善プロセスのモデリング
- 2307 高品質組込みソフトウェア設計における非機能要求に着目したプロジェクトマネジメント(一般セッション)
- 組込みソフトウェア非正常系の概念モデル(ミドルウェア・組込み)
- 組立手順生成のための製品の組立構造表現
- 組立構造と作業スキルを利用した組立動作生成法
- 組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化
- 組込みシステム非正常系分析におけるQFDとガイドワードに関する考察
- 情報フロー・ダイアグラムと分析マトリクスを統合した組込みソフトウェア非正常系要求分析手法の適用事例と考察
- 情報フロー・ダイアグラムによる組み込みソフトウェア非正常系の要求分析の一手法(開発環境,組込みシステム工学)
- 情報フロー・ダイアグラムによる組込みソフトウェア非正常系の分析手法
- 組込みソフト非正常系における基礎モデル及び仕様分析手法の提案(Web, 組込み(学生セッション))
- 組込みソフトウェア非正常系の概念モデルによる情報フロー・グラフの解析
- 組込みソフトウェア仕様抽出のための非正常系分析マトリクス(ミドルウェア・組込み)
- 建築施工プロセスモデリングのための事例分析
- 2809 効率的な要求獲得によるリスク回避の実証研究(一般セッション)
- レストラン注文管理システムにおける統合型要求プロセスの調査
- 2415 プロジェクトマネジメント手法定着のための人的資源マネジメントに関する一考察 : 組織-個人統合モデルの提案による定着過程の分析(一般セッション)
- 哲学ゼミの10年から見たソフトウェア・モデリングの一考察
- 統合型要求工学の実証研究に向けて
- 統合型要求工学の実証研究に向けて
- プロジェクトマネジメント学会九州支部活動報告
- プロジェクトマネジメント学会九州支部活動報告(Mail to PM)
- プロジェクトマネジメント学会九州支部活動報告
- 物流センター業務のモデリングと設計方法 : 設計パターンに着目した設計方法
- 物流センター業務のモデリングと設計方法 : 入出荷の構造変換に着目したモデリング
- 知識情報処理システムのためのミドルウェア層の検討
- 要求獲得計画に向けたPRINCEモデルのための要求計測ガイドライン
- 1307 CCPM導入事例におけるヒューマンファクタの分析 : ローラーの期待理論モデルの適用(一般セッション)
- 1103 組込みソフトウェア開発上流工程における要求トレーサビリティ・モデルを用いた非正常系分析支援(一般セッション)
- QFDによる組込みソフトウェア分析・設計の品質管理モデリングに関する一考察(組込みソフトウェア開発のPM)
- 2510 プロジェクト・マネジメントのモデリングに関する考察(一般セッション)
- 1202 QFDによる組込みソフトウェア分析・設計の品質管理モデリングに関する一考察(一般セッション)
- 業務システムのための知識処理サーバの設計と実装(知識処理)
- リーン・メソッドに着目した業務分析プロセス・モデリングの検討
- リーン・メソッドに着目した業務分析プロセス・モデリングの検討
- リーン・メソッドに着目した業務分析プロセス・モデリングの検討
- 九州工業大学におけるパーソナルソフトウェアプロセス教育 : −ソフトウェア品質向上のためのスキル修得−
- 1101 機能グラフの属性文法モデルに基づく既存住宅図画検索の研究(情報システム技術)
- 11036 非長方形平面を考慮した連結型室配置の生成検証について : 平面形状と面積にとらわれない住宅平面プランの生成
- 523 既存図面のOMTによるモデル化と生活行為に基づく深さ優先探索に関する研究(建築計画)
- 知識情報処理の課題と今後の展開(知識工学とCAD専門委員会,専門委員会・分科会研究レビュー)
- 自火報設計自動化のためのモデリングとその実装
- 知識ベースシステム開発支援環境INSIDEと実用システムへの適用
- 有限領域上の等式制約コンパイルのための一最適化手法とその実装
- プラント機器の基本設計支援のための知識表現モデル
- 11007 空間構成属性文法モデルによる住空間導出記述言語の研究 : その2 空間構成属性文法モデルによる記述実験
- 産業とIT革命( 専門委員会・分科会研究レビュー) : 知識工学とCAD専門委員会
- 1104 構造設計オブジェクトモデルにおける仕様記述言語と編集操作言語の研究(情報システム技術)
- 情報駆動学の構想
- 溶接製缶品の製作設計支援のための設計対象モデル
- 知識ベースシステム開発支援環境INSIDE
- ニーズ指向情報システム構築の研究教育を目指す「情報駆動学」専攻の構想について
- 522 構造設計オブジェクト指向モデルと仕様記述言語に関する研究(建築計画)
- 11041 データフロープログラミングによる住宅平面プランの生成検証に関する研究 : 2階健住宅平面プランの生成について
- 11038 3次元モデルCAADと設計操作知識に関する研究 : 設計変更に伴う床組の再設計
- 530 建築施工プロセスモデリングのための事例分析に関する研究(建築計画)
- 528 知的CADにおける3次元モデル表現と設計操作に関する研究(建築計画)
- 標準部品にかかわる技術情報流通のための知識表現モデル
- 11013 建築施工工程計画を対象とした概念モデリングに関する研究 : 施工知識と工程要素の属性化
- 機械系のばらつき設計を中心としたカメラの鏡枠ユニットの設計支援システム
- PrologプログラムのCへの変換
- 606 建築設計のためのオブジェクト指向モデル : その1 設計操作モデル(建築計画)
- 建築設計のためのオブジェクト指向モデル : 設計操作モデル
- PrologからCへの変換について
- 決定的なPrologプログラムのCへの変換および最適化
- ソフトウェアエンジニアリングシンポジウム2009開催報告
- SPINによる仕様記述言語の検証
- グラフ型図面理解システム構築のためのドメイン分析・モデリング(要求工学・ドメイン分析)
- 建築物設計を事例としたドメイン特化概念モデルとその実装
- レビュー支援のためのCASEツール統合方式
- 建築意匠設計の部屋配置設計に関するドメイン特化仕様記述言語の作成とその実装
- 建築意匠設計の部屋配置設計に関するドメイン特化仕様記述言語の作成とその実装
- 建築意匠設計における部屋配置設計のモデリング
- 非正常系現象に着目した組込みシステムの障害シナリオ分析手法 (知能ソフトウェア工学)
- ソフトウェア工学を学ぶ卒研生と大学院生を対象とした哲学ゼミの開講とその効果について
- 建築CALS実装実験に参加して
- 非正常系現象に着目した組込みシステムの障害シナリオ分析手法
- 問題フレームに基づく家電製品の非正常系シナリオの発見 (知能ソフトウェア工学)
- 3-6 データ収集モデルと分析モデルを分けた業務分析プロセスの検討
- 情報システムの動的記述からオブジェクト指向プログラムの自動生成について
- 建築施工のスケジューリング・管理を事例としたプロセス集約の制約条件について
- 業務分析プロセスのモデリングについて
- CADシステム生成のリファレンスモデルにおける手続き生成部の一実装
- 多視点モデリングのためのCADシステム生成方式へのDB実装
- CADシステム生成のリファレンスモデルにおける手続き生成部の一実装
- 多視点モデリングのためのCADシステム生成方式へのDB実装
- 建築施工のプロダクト中心のプロセスモデリング
- 建築施工のプロダクト中心のプロセスモデリング
- 建築施工プロセスのモデリング
- オブジェクト・モデルに基づく種々のドメイン依存仕様記述言語によるCADシステム生成方式
- 建築施工プロセスを事例とした概念モデリング
- 問題フレームに基づく家電製品の非正常系シナリオの発見
- 非正常系分析マトリックスによるソフトウェア組込み製品の障害シナリオ抽出手法(ディペンダブルコンピューティング)
- ソフトウェアプロセス教育における動機づけプロセスの定式化と教育改善への応用(一般・学生)
- 非正常系分析マトリックスによるソフトウェア組込み製品の障害シナリオ抽出手法