Brian Cantwell Smith. Reflection and Semantics in a Procedural Language. PhD thesis, Mass. Inst. of Technology, 1982. Available as TR-272 from the MIT Laboratory for Computer Science.  Home/Search   Document Not in Database   Summary   Related Articles

....or the general method. 108 CHAPTER 7. EFFICIENCY CONCERNS Chapter 8 Related and Further Work 8.1 Related Work 8.1. 1 Reflection and Reification The work presented in this report is most closely related to earlier work on reflection and reification in programming languages and systems [54, 53, 8, 24, 62]. tproc decompose and tproc make are reifying and reflection primitives, respectively, in the terminology used in [24] However, the focus of this work differs significantly from that of prior work on reflection. In most of the reflection literature, the goal is to provide a mechanism for ....

....and environment suspended in non reified form. Limiting reification to structures that the system must already explicitly represent has important consequences for efficiency, as discussed in Chapter 7. Finally, reflection work takes two opposite approaches to the reification of procedures. In [53], procedures are completely concrete, exposing all details of their operation, without making any attempt at abstraction. Of course, as we discuss in Chapter 6 this changes the semantics of procedures in fundamental ways. In [24] procedures are completely abstract, with only invocation defined on ....

[Article contains additional citation context not shown here]

Brian Cantwell Smith. Reflection and Semantics in a Procedural Language. PhD thesis, Mass. Inst. of Technology, 1982. Available as TR-272 from the MIT Laboratory for Computer Science.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC