文献

J-GLOBAL ID：200902264463543517   整理番号：03A0223064

テストをもつKleene代数のための本質的に代数的な構造とwhileプログラムの意味論へのそれの適用

Essentially Algebraic Structure for Kleene Algebra with Tests and Its Application to Semantics of While Programs.

著者 (2件)： FURUSAWA H (AIST) ,  KINOSHITA Y (AIST)
資料名： 情報処理学会論文誌  (IPSJ Journal)
巻： 44  号： SIG4(PRO17)  ページ： 47-53  発行年： 2003年03月15日 
JST資料番号： Z0778A  ISSN： 0387-5806  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： KozenとSmithは,有限集合の一つの対(B,Σ)により...

シソーラス用語： *プログラム理論 ,...
準シソーラス用語： Kleene代数 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=03A0223064&from=J-GLOBAL&jstjournalNo=Z0778A") }}

分類 (1件)： 計算理論  (JB02000A)

引用文献 (14件)：

• BARR, M. Toposes, Triples and Theories. 1985
• BARR, M. Category theory for computing science. 1995
• BARR, M. Models of horn theory. Proc. Summer Research Conference, Categories in Computer Science and Logic. 1989, 92, 1-7
• GRAY, J. W. Gategorical aspects of data type constructors. Journal of Theoretical Computer Science. 1987, 50, 103-135
• KINOSHITA, Y. Algebraic structure for fixpoints. Proc. 18th JSSST annual meeting

タイトルに関連する用語 (3件)： テスト ,  代数 ,  意味論