|
We are aiming at establishing basic technologies for advanced,
high-quality, high-performance software, namely "difficult" software
which might be intractable or inefficient if developed using
conventional methodologies.
In fields such as parallel/concurrent processing, knowledge information
processing, graphics and interactive systems, it seems very difficult to
construct software with sufficient functionality, performance and
reliability using conventional procedural languages and techniques.
We are working on new computational paradigms, programming languages,
programming methodologies and implementation techniques to tackle those
problems.
We are especially interested in, and have been working actively on,
concurrent logic/constraint programming developed at Japanese Fifth
Generation Computer Systems (FGCS) project and elsewhere. Current
research activities include various aspects of concurrent
logic/constraint programming, including language design, implementation,
programming environments and program analysis, in order to make it
really practical.
Our research is always concerned with the role of programming languages
that connect architectures and applications, and pursues interesting
connections between techniques developed in the field of programming
(languages) and those developed in neighboring fields. We are always
trying to promote interaction between theory and practice, which tend to
separate in computer science.
|