[YL] Programming Languages

It is essential for programming languages to have sound theoretical basis. Our recent work in this area includes the following:

Other research topics in this area include theory of type systems, algebra of concurrent systems, and parallel constraint (object-oriented and logic) programming.

The efficient implementation of our developed languages is also an important area for research. We focus on target architectures which allow for at least 1000 processing nodes. Several of our languages have been implemented on such machines.

|m 95.02.15