Programming Language Research Group

Our research aims at developing programming tools which utilize some research results in programming languages such as parsing, type systems, and program transformations. We develop tools for completion of syntax, identifiers, and expressions and detecting code clones in functional languages.

Research topics

• Theory and implementation of programming tools
  • Identifier completion, syntax completion, detecting code clones, etc., especially for functional langauges
    • Syntax completion using LR parsing
    • Syntax completion based on grammar transformation
    • Identifier completion for functional programs that do not have any type or syntax error up to cursor potision
    • Identifier completion for incomplete program text based on Yacc error recovery
  • Type 3 code clone detection for Standard ML
  • Everything else about programming tools
• Theory and implementation of tools for programming learning support
  • Visualization of overwriting the function return addresses for C programs
  • Elimination of goto statements for C (replacing with, e.g., while, break, and continue statements)
  • A tool for visualizing pointers in C programs with supporting storage durations and scopes (in Japanese)
  • Everything else about programming learning support

We used to do the following topics as well but recently we are not involved in them.

• Sudoku (puzzle filling numbers, also called Number place)
  • Estimating the difficulty of Sudoku problems
    • An approach to estimating the difficulty of Sudoku problems by Neural Network (in Japanese)
  • Generating Sudoku problems supporting designation of initial placement
• Fusion of recursive functions
• Derivation of graph algorithms

Some materials

• How to write Emacs mode (written by a student in 2010, in Japanese)
• How to write Eclipse plug-ins (written by a student in 2010 from Brazil)