Research Topics Type sytems, program analysis, and implementation
of programming languages
Introduction The general goal of our research group is to design
and implement programming languages based on solid theoretical foundations.
Our particular interests are currently in concurrent/parallel programming
languages: in spite of the difficulty of writing and debugging concurrent/parallel
programs, little support for them has been provided by concurrent programming
languages. Following many successes of theoretical foundations in sequential
programming languages (such as lambda-calculus in functional languages),
we are trying to establish good principles for design and implementation
of concurrent programming languages. We have so far designed and implemented
a concurrent programming language HACL
and a parallel constraint logic programming language PARCS
; and we studied several type systems, program analyses, and compilation
techniques for those languages.
Recent Research Topics (