Suresh Jagannathan. Reflective building blocks for modular systems. Technical Report 92-049-3-0050-5, NEC Research Institute, 1992.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....is a notion that is not employed by every computational model. Thus, adding first class environments to a language means that the language cannot be implemented easily on some environment less architectures such as the G machine [16] Jagannathan s environmentbased reflection language Rascal [9] is another language with first class environments. Rascal provides a way to identify reifiable (exportable) variables; however, it still suffers from the first two disadvantages mentioned above, because some non reifiable variables are dynamically bound. Lamping s unified system of ....

S. Jagannathan. Reflective building blocks for modular systems. To appear in the IMSA '92 International Workshop on Reflection and Meta-Level Architecture.

....techniques to associate statically names with their potential binding values. The problem is a non trivial one since namespaces can be reflected and used as environments in any expression context. We have built a static type system for the functional subset of Rascal that implements this analysis[15]. The inference system is patterned after the Hindley Milner type system used to define a polymorphic type inference algorithm for ML[7, 19] Space limitations prevent a detailed description of this approach here, but suffice it to say that the analysis is capable of making inferences of the ....

Suresh Jagannathan. Reflective building blocks for modular systems. Technical Report 92-049-3-0050-5, NEC Research Institute, 1992.

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