文献

J-GLOBAL ID：200902277438999942   整理番号：08A0457064

CafeOBJ入門(2)構文と意味

著者 (3件)： 中村正樹 (北陸先端科学技術大学院大) ,  二木厚吉 (北陸先端科学技術大学院大) ,  緒方和博 (北陸先端科学技術大学院大)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 25  号： 2  ページ： 14-27  発行年： 2008年04月24日 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 文献レビュー  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 代数仕様言語CafeOBJは,柔軟なmix-fix構文,部分型をともなった強力な型システム,数種類の輸入,パラメータ化モジュール,ビューによるパラメータの具現化などを持つ洗練されたモジュールシステムなどの特徴を持つ。CafeOBJ仕様は代数を意味する。代数は,抽象データ型や抽象機械などの現実のシステムの記述に有効なモデルを包含する汎用性のあるモデル化の枠組みであり,形式仕様の作成と検証を統一的に扱うことができる。本論文では,代数仕様言語CafeOBJの構文および意味について解説する。またCafeOBJ処理系を用いた構文解析,仕様実行,仕様検証についても簡単に解説する。(著者抄録)

シソーラス用語： *代数的仕様記述 ,  *形式的手法【計算機】 ,  文法 ,  モジュラ設計 ,  モデリング ,  検証 ,  *構文分析
準シソーラス用語： モデル化 ,  形式的検証

分類 (1件)： 数理言語学  (JB05000V)

引用文献 (4件)：

• DIACONESCU, R. Logical foundations of CafeOBJ. Theor. Comput. Sci. 2002, 285, 2, 289-318
• DIACONESCU, R. CafeOBJ report. 1998
• FUTATSUGI, K. Principles of OBJ2. POPL '85 : Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, New York, NY, USA. 1985, 52-66
• 二木厚吉. 代数モデルの基礎. コンピュータソフトウェア. 1996, 13, 1, 4-22

タイトルに関連する用語 (2件)： 構文 ,  意味