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 Science and Engineering|
|Faculty Name||Isao Sasano|
Japan Society for Software Science and Technology|
Information Processing Society of Japan
|Keyword||Programming, Software, Algorithms|
- Information engineering
- Information science
For SocietyFunctions, 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 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