WEKO3
アイテム
B-034 隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証(B.ソフトウェア)
https://ipsj.ixsq.nii.ac.jp/records/154652
https://ipsj.ixsq.nii.ac.jp/records/154652d02add23-8ea5-4e65-a745-f3e35ecf34e2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006540657.pdf (198.9 kB)
|
Copyright (c) 2004 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2004-08-20 | |||||||||||
| タイトル | ||||||||||||
| タイトル | B-034 隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証(B.ソフトウェア) | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | B-034 Description and Verification of Semantics of Imperative Programming Language Based on Hidden Algebra | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 北陸先端科学技術大学院大学情報科学研究科 | ||||||||||||
| 著者所属 | ||||||||||||
| 北陸先端科学技術大学院大学情報科学研究科 | ||||||||||||
| 著者所属 | ||||||||||||
| 北陸先端科学技術大学院大学情報科学研究科 | ||||||||||||
| 著者名 |
渡辺, 真啓
× 渡辺, 真啓
× 中村, 正樹
× 二木, 厚吉
|
|||||||||||
| 著者名(英) |
Watanabe, Masahiro
× Watanabe, Masahiro
× Nakamura, Masaki
× Futatsugi, Kokichi
|
|||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA11740605 | |||||||||||
| 書誌情報 |
情報科学技術フォーラム一般講演論文集 巻 3, 号 1, p. 173-174, 発行日 2004-08-20 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
