Language implementation

• Compiler optimizations of OOCP languages using formal techniques such as abstract interpretation.
• Implementation of concurrent languages with reflective computational capabilities. In particular, we are constructing several reflective implementations of ABCL.
• Various implementation technologies such as garbage collection. In particular, we have devised two algorithms for garbage collection on parallel architectures: One is based on reference counting and is suited for distributed memory architectures. The other is intended for (distributed) shared memory architectures, and has the property that it is fully concurrent and conservative.