WEKO3
アイテム
Error Detection with Soft Typing for Dynamically Typed Languages
http://hdl.handle.net/2237/21157
http://hdl.handle.net/2237/21157fb700fcb-dd92-459b-8241-7a5d28364370
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
110006782680.pdf (716.7 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2015-01-29 | |||||
| タイトル | ||||||
| タイトル | Error Detection with Soft Typing for Dynamically Typed Languages | |||||
| 言語 | en | |||||
| その他のタイトル | ||||||
| その他のタイトル | 動的型言語への柔らかい型付けによるエラー検出 | |||||
| 言語 | ja | |||||
| 著者 |
YAMADA, Akihisa
× YAMADA, Akihisa× KUSAKARI, Keiichirou× SAKAI, Masahiko× SAKABE, Toshiki× NISHIDA, Naoki× 山田, 晃久× 草刈, 圭一朗× 酒井, 正彦× 坂部, 俊樹× 西田, 直樹 |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 言語 | ja | |||||
| 権利情報 | (c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 動的型言語 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 柔らかい型 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | 完全な型 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | dynamically typed language | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | soft typing | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | complete typing | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | LISPのような動的型言語のための柔らかい型の表現力豊かな拡張を提案し,その健全性を示す.この拡張では特に,常に型エラーを起こす式を表す「エラー型」と言う特殊な型を導入する.エラー型を含まない型を持つ式では、実行時の型チェックを省くことが出来る.逆にエラー型そのものが付く式は必ずエラーを引き起こすことがわかるので,このような式はコンパイル時に排除することが出来る. | |||||
| 言語 | ja | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | We propose a rich extension of soft typing for dynamically-typed languages like LISP, and prove its soundness. This extension, for example, introduces a special type called "error-type", which denotes a type of such an expression whose evaluation always causes a type error. If an expression is typed without using the "error-type", it means that no runtime check is necessary. Conversely, "error-typed" expressions should be rejected at compile-time, since their evaluation always causes an error. | |||||
| 言語 | en | |||||
| 出版者 | ||||||
| 出版者 | 一般社団法人電子情報通信学会 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 0913-5685 | |||||
| 書誌情報 |
ja : 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 巻 107, 号 505, p. 7-12, 発行日 2008-02 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/21157 | |||||
| 識別子タイプ | HDL | |||||
