Programming Language Research Group

Trying to improve the efficiency of computer programing

We are researching tools that support programming from various aspects. Specifically, we aim to build tools that make it easier to create highly reliable and efficient programs by leveraging the results of fundamental research in programming languages, such as program transformation and type systems. For the past few years, we have mainly been proposing and implementing a new, 欧洲杯足彩app下载_欧洲杯下注平台-【直播*网站】 explicit specification-based method for code completion tools.

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

  • Computer science
  • Programming languages

FOR SOCIETY

We are conducting research on programming tools that do not use machine learning. Machine learning often outputs incorrect code.

RESEARCH THEMES

  • Code completion by using LR parsing
  • Detecting code clones in functional languages
  • Elimination of goto statements in the C programing language

FIND LABORATORIES RELATED TO YOUR RESEARCH FIELD