Programming Languages

• Formal models of computation for concurrent computational systems and languages such as Actors, ABCM and HACL.
• Design and Implementation of Concurrent Objects
  • ABCL/1
  • ABCL/f
• Higher Order Linear Logic Programming Language: HACL
• Meta architectures and reflective computation models formulated from the object-oriented concurrent computation model, implemented in a reflective language ABCL/R, ABCL/R2, and ACT/R. Reflective computation is a process of reasoning about and acting upon the computational system itself. Its purpose is to provide sound foundations for evolution of concurrent open systems.
• Identification of safe inheritance for concurrent object-systems. In general, many of the previous proposals for resolving the conflicts between inheritance and synchronization constraints are insufficient in the sense that one CANNOT avoid anomaly in inheritance where re-definitions of all relevant parent methods are necessary.

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.