研究課題
若手研究(B)
ソフトウェアの信頼性を保証しつつ開発効率を上げるために、プログラムを実行する前にある種のエラーが起こらないことを保証できる性質と、プログラムを部品から構成し、さらにそれらの部品も別の部品から組み立てられるような性質の両方において優れた機能を持つプログラミング言語を実現した。また、実行時に部品の結合や切り離しを柔軟に且つ安全に行えるようなプログラミング言語の研究を行い、実行前に安全性の検証を行えるような新たな仕組みを実現した。
すべて 2011 2010 2009 2008
すべて 雑誌論文 (7件) (うち査読あり 7件) 学会発表 (3件)
In Proceedings of the 10th Annual Aspect-Oriented Software Development Conference (AOSD. 11)
ページ: 253-264
In Proceedings of the 2010 International Workshop on Foundations of Object-oriented Languages (FOOL'10)
In Proceedings of the International Workshop on Context-oriented Programming (COP'10) article No.2
In Proceedings of the Ninth Workshop on Foundation of Aspect-Oriented Languages (FOAL 2010)
ページ: 15-24
Proceedings of the International Workshop on Context-Oriented Programming (COP09) article No.4
Proceedings of the 7th ACM International Conference on Generative Programming and Components Engineering (GPCE'08) ACM Press
ページ: 113-124
Proceedings of the 10th Workshop on Formal Techniques for Java-like Programs (FTfJP 2008)
ページ: 63-76
