研究課題
若手研究(A)
プログラミング言語には、実行前にプログラム中の誤り検査を行う静的型付言語と実行中に検査を行う動的型付言語があり一長一短があることが知られている。本研究では両方の機能を兼ね備えたプログラミング言語を設計し、その理論と実装手法を研究した。理論的成果として、部分的に型付けされるプログラムの実行前検査のためのアルゴリズムと実行時検査手法を与え、アルゴリズムの正当性や、その検査で検出される誤りは全て実行前検査を行わなかった部分に起因することを証明した。また実行時検査の実装手法を考案した。
すべて 2013 2012 2011 2009 その他
すべて 雑誌論文 (15件) (うち査読あり 15件) 学会発表 (20件) (うち招待講演 1件) 図書 (2件) 備考 (4件)
Proc. of ACM OOPSLA
巻: 27 ページ: 1-20
10.1145/2384616.2384618
Proc. of the International Workshop on Foundations of Object-Oriented Languages
ページ: 13-24
http://www.cs.uwm.edu/~boyland/fool2012/papers/fool2012_submission_9.pdf
第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)論文集
Proceedings of the International Workshop on Foundations of Object-Oriented Languages
巻: 1 ページ: 13-24
Proc. Of European Conference on Object-Oriented Programming
巻: LNCS 6813 ページ: 433-433
10.1007/978-3-642-22655-7_20
Proceedings of the 2011 ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications
巻: 6813 ページ: 609-624
10.1145/2048066.2048114
Proc. Of European Symposium on Programming
巻: 6602 ページ: 18-37
10.1007/978-3-642-19718-5_2
Proc.of European Symposium on Programming (Springer LNCS series)
Proc. Of Workshop on Script to Program Evolution
ページ: 17-29
10.1145/1570506.1570509
Proc. Of ACM OOPSLA
ページ: 263-282
10.1145/1640089.1640109
コンピュータソフトウェア
巻: 26 ページ: 18-40
10025982355
コンピュータソフトウェア 26
ページ: 18-40
Proc.of ACM OOPSLA
Proc.of Workshop on Script to Program Evolution
Science of Computer Programming
巻: (印刷中)
http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/
http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/
