WEKO3
アイテム
構成的理論に基づいたプログラミング言語Zとその実装
https://ipsj.ixsq.nii.ac.jp/records/71439
https://ipsj.ixsq.nii.ac.jp/records/7143914108012-06a2-461f-b964-b8bc7bf2e16b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO0305006.pdf (32.4 kB)
|
Copyright (c) 2010 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-12-10 | |||||||
| タイトル | ||||||||
| タイトル | 構成的理論に基づいたプログラミング言語Zとその実装 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Programming Language Z Based on Constructive Theory and Its Implementation | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 発表概要 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 京都大学大学院情報学研究科 | ||||||||
| 著者所属 | ||||||||
| 京都大学大学院情報学研究科 | ||||||||
| 著者所属 | ||||||||
| 京都大学大学院情報学研究科 | ||||||||
| 著者所属 | ||||||||
| 京都大学大学院情報学研究科 | ||||||||
| 著者所属 | ||||||||
| 京都大学大学院情報学研究科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者名 |
新名, 庸生
佐藤, 雅彦
馬谷, 誠二
八杉, 昌宏
湯淺, 太一
× 新名, 庸生 佐藤, 雅彦 馬谷, 誠二 八杉, 昌宏 湯淺, 太一
|
|||||||
| 著者名(英) |
Yasunari, Niina
Masahiko, Sato
Seiji, Umatani
Masahiro, Yasugi
Taiichi, Yuasa
× Yasunari, Niina Masahiko, Sato Seiji, Umatani Masahiro, Yasugi Taiichi, Yuasa
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | プログラミング言語Zには簡潔で厳密なセマンティックが与えられており，将来的にはZで記述したプログラムついてもその数学的，論理的性質を素直に記述，証明できる言語になることを目指している．今回はZのコア言語となるpure Zと，Javaで書かれたLisp処理系JAKLDを基にしたpure Zの実装を紹介する．JAKLDは携帯電話でも動くコンパクトさと改造しやすさからpure Zの実装に適している．今回のpure Zの実装は今後の拡張に備え，コンパクトさと改造のしやすさを引き継いだ実装になっている． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The programming language Z is given a simple and strict semantics, and we expect we will be able to easily describe mathematical and logical properties of programs written in Z in the future. In this search, we introduce a core language of Z called pure Z and its implementation based on JAKLD, a Lisp system written in Java. JAKLD is suitable for the purpose because it is so compact that some versions of it runs on mobile phones and designed so that it will be easy to add, delete, and modify its functionalities. Our implementation of pure Z keeps the compactness and easiness for the next extension. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 3, 号 5, p. 31-31, 発行日 2010-12-10 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
