On Some Semantic Issues in the Reflective Tower

Introducing meta-level access in a programming language is a delicate task, surrounded by threats of vicious circularity, infinite regress and unresolveable paradoxes on the one hand and triviality on the other hand. The reflective tower is one of the attempts to structure computational reflection, that is, access from a running process to its computational state.