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