WEKO3
アイテム
C言語に対する形式的意味記述の一手法
https://ipsj.ixsq.nii.ac.jp/records/239086
https://ipsj.ixsq.nii.ac.jp/records/239086f961c4fd-49fa-4c29-ab8e-abadfdf7e711
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1995014.pdf (9.6 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 1995-01-10 | |||||||||||
| タイトル | ||||||||||||
| タイトル | C言語に対する形式的意味記述の一手法 | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | A Formal Semantics for Language C | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 東京電機大学 理工学部 情報科学科 | ||||||||||||
| 著者所属 | ||||||||||||
| 東京電機大学 理工学部 情報科学科 | ||||||||||||
| 著者所属 | ||||||||||||
| 東京電機大学 理工学部 情報科学科 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Dept. of Inform. Sci., Tokyo Denki Univ. | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Dept. of Inform. Sci., Tokyo Denki Univ. | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Dept. of Inform. Sci., Tokyo Denki Univ. | ||||||||||||
| 著者名 |
篠崎, 政久
× 篠崎, 政久
× 宮寺, 庸造
× 米田, 信夫
|
|||||||||||
| 著者名(英) |
Shinozaki, Masahisa
× Shinozaki, Masahisa
× Miyadera, Youzou
× Yoneda, Nobuo
|
|||||||||||
| 書誌情報 |
第36回プログラミング・シンポジウム報告集 巻 1995, p. 119-126, 発行日 1995-01-10 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
