Programming Language Research Group

Our research aims at developing program development system utilizing techniques in programming languages such as type systems and program transformations. Up to now practical systems like Eclipse provide basic refactoring functionalities such as renaming identifiers. Our goal is to develop systems that provide various useful features such as context-sensitive completion of identifiers, expressions, keywords, patterns for syntax, and various refactoring functionalities such as renaming variables and extracting functions, by reusing compiler code as much as possible.

Research topics

Some materials