研究者情報 | 神奈川大学

コマツ　マサヒコ Komatsu Masahiko 小松　雅彦所属神奈川大学外国語学部英語英文学科神奈川大学大学院人文学研究科欧米言語文化専攻（言語学コース）職種准教授
言語種別	日本語
発行・発表の年月	1989/11
形態種別	その他
標題	代数的仕様記述のプロトタイプ的実行及びプログラム変換ツール：ASPELA
執筆形態	単著
掲載誌名	『ソフトウェア環境統合化技術開発計画テクニカル・レポート』（東京：協同システム開発）
巻・号・頁	(3),7-12頁
概要	代数的使用記述言語ASPELAは、仕様の不整合の機械的検証機能、インタプリット機能、Lispへの変換機能を持っており、動作原理はPrologに似ている。仕様記述は、物・事象の名前付け、物・事象の構造決定、場合分け、正しさチェックの繰り返しで行う。簡単なCPU、構文解析器の記述を例示する。