Art

J-GLOBAL ID：201502257581879059   Reference number：15A0582392

Sufficient completeness of constructor-based order-sorted parameterized specifications

構成子に基づく順序ソートパラメータ化仕様の十分完全性について

Author (4)： NAKAMURA MASAKI (富山県大) ,  GAINA Daniel Mircea (北陸先端科学技術大学院大) ,  OGATA KAZUHIRO (北陸先端科学技術大学院大) ,  FUTATSUGI KOKICHI (北陸先端科学技術大学院大)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 114  Issue： 510(SS2014 55-73)  Page： 1-6  Publication year： Mar. 02, 2015 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *specification ,  specification language ,  sorting (computer) ,  *sufficient condition ,  *completeness ,  parameterization ,  operator (mathematics) ,  term rewriting system ,  order (sequence) ,  proof (evidence)
Semi thesaurus term： sorting ,  parameterization ,  term rewriting system ,  specification language ,  *algebraic specification

JST classification (2)： Artificial intelligence  (JE08000Z) ,  Computer system development  (JD02010R)

Reference (11)：

• CafeOBJ. http://www.ldl.jaist.ac.jp/cafeobj/.
• Razvan Diaconescu and Kokichi Futatsugi. CafeOBJ Report. World Scientific, 1998.
• Kokichi Futatsugi, Daniel Găineă, and Kazuhiro Ogata. Principles of proof scores in CafeOBJ. Theor. Comput. Sci., 464:90-112, December 2012.
• Daniel Găină and Kokichi Futatsugi. Initial semantics in logics with constructors. Journal of Logic and Computation, 2012. doi: 10.1093/logcom/exs044.
• Deepak Kapur, Paliath Narendran, Daniel J. Rosenkrantz, and Hantao Zhang. Sufficient-completeness, groundreducibility and their complexity. Acta Inf., 28(4):311-350, April 1991.

Terms in the title (5)： 順序 ,  ソート ,  パラメータ化 ,  仕様 ,  完全性