C-Prologコンパイラの開発(1) : 設計思想について
スポンサーリンク
概要
- 論文の詳細を見る
エジンバラ大学で開発されたC-Prologについて、スーパーミニコンをターゲットとしたコンパイラを開発したので報告する。本コンパイラの設計に当たっては、処理の高速化とともに言語の一貫性を重視し、コンパイルの前後でプログラムの動作が可能な限りインタプリタと同一となり、かつ処理の効率を極力低下させないような方式を採用した。ここではC-Prologに対するコンパイラとしての設計思想について述べる。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
-
本位田 真一
(株)東芝システム・ソフトウェア生産技術研究所
-
松本 憲幸
株式会社東芝
-
松本 憲幸
株式会社 東芝
-
小林 茂
東芝
-
小林 茂
(株)東芝
-
松本 憲幸
(株)東芝
-
落合 正雄
(株)東芝
-
落合 正雄
(株)東芝 府中工場
関連論文
- 8. オブジェクト指向分析・設計の実際と評価 ( オブジェクト指向分析・設計)
- 電力系統監視制御システムへのオブジェクト指向分析適用の試行
- ASN.1実装支援ツール(II) : フォーマット処理記述言語fixによる開発
- ASN.1実装支援ツール(I) : 概要とテスト支援の試み
- 同期型待ち行列ネットワークのボトルネックに対する定性的なパラメータチューニング法
- 定性推論と定量推論を導入した待ち行列ネットワークのボトルネック診断と改善法
- 知識工学的手法による待ち行列ネットワークのボトルネック診断
- ドメイン分析に基づく仕様再利用手法
- CASEツールによるJava言語プログラムの理解支援
- ユーザ定義を取り込んだプログラムパターンの翻訳
- Java言語、C言語プログラムパターンの翻訳
- CASEツールによるアセンブリ言語の支援技術
- CASEツールにおける上流から下流までの一貫性の問題と対策
- CASEツールにおける方法論の並列融合の構想
- 設計方法論に基づいたCASEツールの落とし穴
- TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
- 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法
- 知識工学手法による待ち行列ネットワークのボトルネック診断
- マルチメディアサーバスマートストリーマ(2) : ソフトウェア構成
- NCALS の文書封入・開封ツール
- 統合プログラミング環境(5)ソフトウェア情報用データベースPDDの階層化の試み
- 総合プログラミング環境(4) : ソフトウェア設計情報用データベースPDDに基づく開発環境
- 総合プログラミング環境(3) : ソフトウェア設計情報用データベースPDDの開発
- 統合プログラミング環境(2) : 開発支援データベース
- 統合プログラミング環境(1) : CASE指向ソフトウェアモデル
- C言語のメモリ管理機能の拡張"D"
- C-Prologコンパイラの開発(2) : 内部構造について
- C-Prologコンパイラの開発(1) : 設計思想について
- 産業界におけるソフトウェア・エンジニアリングの動向(ソフトウェアの品質保証について)
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- CASEデータ交換言語STLによる複数方法論の取扱い
- 時制論理とペトリネット(AIの推論とOR)
- Bee-gent:移動型仲介エージェントによる既存システムの柔軟な活用を目的としたマルチエージェントフレームワーク
- マルチエージェントフレームワークBee-gentを用いた分散システムにおけるデザインパラダイムの分類と評価
- 既存システムの柔軟な結合を可能にするエージェントフレームワークBe-gentの提案
- モバイルエージェントを用いた分散制約充足問題へのアプローチ : 分散協調型電力系統設備作業停止計画支援システムの開発
- 代数的仕様を用いたソフトウェア開発支援環境 : Metis-AS
- Metis-AS における代数的仕様の検証手続き
- 等式論理の帰納的定理を証明する手続き
- 代数的仕様のΔ拡張
- リアルタイムシステムにおけるプロトタイピングの一手法
- 複合ビューポイントに基づく仕様化プロセスの分析
- 代数的仕様記述と図式仕様記述の相補的役割について : 複眼的システムモデル
- UASB型リアクターによるパン酵母培養廃水の処理特性
- 診断型エキスパート・システム (エキスパート・システム)
- オ-プンシステムにおけるデ-タ管理ミドルウェア (ミドルウェア)
- PCサーバ・クラスタ : アベイラビリティ (可用性) 向上をねらって
- 分散オブジェクトの開発支援について
- 1. オブジェクト指向分析・設計 ( オブジェクト指向分析・設計)
- 3. 応用分野の最前線 3.4 制御分野における自動プログラミング (自動プログラミング)
- 代数仕様技術によるオブジェクト指向分析設計の検証支援
- 特集「ネット指向パラダイムを求めて」の編集にあたって
- DS6500シリ-ズの高機能ソフトウェア体系 (サ-バコンピュ-タDS6500シリ-ズ)
- 推論型システム記述言語 MENDEL
- AI言語 (AI技術)
- 制約処理パターンを用いたオブジェクト思考ソフトウェア開発