Technical Report Number
Software, Theory of Computation
In programming languages, reflection is the ability to discover and manipulate, at runtime, information about program entities, such as objects. We present our thoughts on extending the concept of reflection to behavioral interface specifications. We explain the benefits of such specification reflection, and discuss implementation approaches, support tools, and research problems and issues in this area.