研究者情報 | 神奈川大学

コマツ　マサヒコ Komatsu Masahiko 小松　雅彦所属神奈川大学外国語学部英語英文学科神奈川大学大学院人文学研究科欧米言語文化専攻（言語学コース）職種准教授
言語種別	日本語
発行・発表の年月	1990/01
形態種別	その他
標題	代数的記述による開発支援ツールASPELA
執筆形態	共著
掲載誌名	『成果発表会と特別講演』(pp. 27-39)．東京：情報処理振興事業協会；東京：協同システム開発．
著者・共著者	小松雅彦・別府真
概要	担当部分：抽出不可。 ASPELAは、項書き換え系を計算モデルとした代数的仕様記述言語の処理系である。代数的仕様記述法の原理、トップダウン・プロトタイピング、ASPELAによる仕様記述、仕様の検証、Lispプログラムへの変換、開発経過、処理系の概要、記述例、言語仕様などを説明した。