日常的世界観にもとづく実行可能な仕様記述言語NAIVE : その言語仕様と記述例
スポンサーリンク
概要
- 論文の詳細を見る
さきに,実行可能な仕様記述言語NAIVEの概要と,その背後に設定した世界観について述べた.本稿では,その世界観を反映するように設計された言語NAIVEの具体的言語仕様を示す.さらに仕様記述例を示し,当言語のソフトウェア開発上の利点について議論する.
- 1992-02-24
さきに,実行可能な仕様記述言語NAIVEの概要と,その背後に設定した世界観について述べた.本稿では,その世界観を反映するように設計された言語NAIVEの具体的言語仕様を示す.さらに仕様記述例を示し,当言語のソフトウェア開発上の利点について議論する.