Art

J-GLOBAL ID：200902222586477409   Reference number：09A0650158

An SOS interpreter with negative premises and an equivalence checker by Maude

Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築

Author (3)： BAN JUN (名古屋大 大学院情報科学研究科) ,  IMAI KEIGO (名古屋大 大学院情報科学研究科) ,  YUEN SHOJI (名古屋大 大学院情報科学研究科)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 109  Issue： 41(KBSE2009 1-11)  Page： 49-54  Publication year： May. 14, 2009 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *interpreter ,  control computer ,  equivalency ,  *language design ,  functional language ,  operational semantics ,  transition state ,  process computer
Semi thesaurus term： operational semantics

JST classification (1)： Language processors  (JD03040F)

Terms in the title (7)： 否定 ,  意味 ,  定義 ,  インタプリタ ,  等価性 ,  検証 ,  構築