Cheon, Yoonsik, Hayashi, Yoshiki and Leavens, Gary T. (2003) A Thought on Specification Reflection. Technical Report 03-16, Computer Science, Iowa State University.
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.
Contact site administrator at: email@example.com