Programming Language Research Group

Trying to improve the efficiency of computer programing

We conduct research on systems that support computer programing from various aspects. In particular, we are aiming at building a system that allows highly reliable, efficient program making by using the results of basic research on program conversions and programing languages, such as type theory. In the last few years, we have proposed, or made for practical use, new methods with clear specifications in order to realize basic functions that support the development of programs and complement identifiers and syntaxes.

College of Engineering Computer and Communications Engineering Computer Science and Engineering / Graduate School of Engineering and Science（Master's Program） Electrical Engineering and Computer Science Course / Graduate School of Engineering and Science（Doctor's Program） Functional Control Systems Course
Faculty Name
SASANO, Isao
Keyword
Programming,Software,Algorithms
Laboratory location
Research Building TOYOSU Campus 14F 14K32

This lab is for this SDG activity:

  • 産業と技術革新の基盤をつくろう

STUDY FIELDS

  • Information engineering
  • Information science

FOR SOCIETY

Functions, such as one to complement variable names, in Eclipse and other integrated development environments have been made available for practical use. We believe that such basic functions will be provided after backing it up with solid theoretical grounds.

RESEARCH THEMES

  • Research on visualization of buffer overflow
  • Research on the deletion of goto statements in C programing language
  • Research on methods to detect code clones in functional language

FIND LABORATORIES RELATED TO YOUR RESEARCH FIELD