Research Activities in the Lab. As a formal foundation of Open Implementation, theoretical aspects of reflection, such as semantics, are studied. Black Inspired by Rscheme , general framework of reflective languages is studied. A reflective language Black , which admits us to replace meta-interpreter functions, is designed. An implementation in Scheme is available.
CodA is a framework for creating, controlling and understanding concurrent computing environments.
Objects in CodA conceptually has several meta-objects, which are individually replaceable. Its implementation on Smalltalk seamlessly ties CodA objects and Smalltalk objects, so that existing Smalltalk libraries can be easily extended for different environments, such as distributed computing . Computational reflection is a potential way to optimize high-performance applications especially for parallel computers. This simplicity helps us to easily develop a compiler that can generate programs that is embedded meta-level code, and runs efficiently. In fact, some example programs with meta-level descriptions exhibit good performance on multiple workstations connected via Ethernet.