Detail of a work
Tweet | |
大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "モデル生成に基づくJavaScriptプログラムの型検査系の構築について," 第9回プログラミングおよびプログラミング言語ワークショップ論文集, pp. 77-88 2007年3月. | |
ID | 52 |
分類 | 国内会議(査読付き) |
タグ | |
表題 (title) |
モデル生成に基づくJavaScriptプログラムの型検査系の構築について |
表題 (英文) |
|
著者名 (author) |
大久保弘崇,山本晋一郎,坂部俊樹,稲垣康善 |
英文著者名 (author) |
|
編者名 (editor) |
|
編者名 (英文) |
|
キー (key) |
H.Ohkubo, S.Yamamoto, T.Sakabe, Y.Inagaki |
書籍・会議録表題 (booktitle) |
第9回プログラミングおよびプログラミング言語ワークショップ論文集 |
書籍・会議録表題(英文) |
|
巻数 (volume) |
|
号数 (number) |
|
ページ範囲 (pages) |
77-88 |
組織名 (organization) |
日本ソフトウェア科学会プログラミング論研究会 |
出版元 (publisher) |
|
出版元 (英文) |
|
出版社住所 (address) |
|
刊行月 (month) |
3 |
出版年 (year) |
2007 |
採択率 (acceptance) |
|
URL |
|
付加情報 (note) |
瑠璃光 (石川県加賀市山代温泉) |
注釈 (annote) |
|
内容梗概 (abstract) |
本論文では,JavaScriptプログラムに対する静的な型検査系の構築について述べる.オブジェクトと関数からなる単純な型体系BabyJ^Tを,JavaScriptの主要な構文を扱えるように拡張し,型検査系の形式的な定義を与え型検査のための論理式を構文に対応して抽出する.抽出された論理式は,定理自動証明系により充足可能性が判断される.形式的に定義される提案手法を,直接機械実行する形に実装し,実際にJavaScriptプログラムの型検査が行えることを示した.JavaScript構文から論理式を導出するには,SapidのXML形式とXSLT技術を用いた.また定理自動証明系にはMGTPを用いた. |
論文電子ファイル | 50.pdf (application/pdf) [一般閲覧可] |
BiBTeXエントリ |
@inproceedings{id52, title = {モデル生成に基づくJavaScriptプログラムの型検査系の構築について}, author = {大久保弘崇 and 山本晋一郎 and 坂部俊樹 and 稲垣康善}, booktitle = {第9回プログラミングおよびプログラミング言語ワークショップ論文集}, pages = {77-88}, organization = {日本ソフトウェア科学会プログラミング論研究会}, month = {3}, year = {2007}, note = {瑠璃光 (石川県加賀市山代温泉)}, } |