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