Joel Moses. The Funtion of FUNCTION in LISP, or Why the FUNARG Problem Should be Called the Environment Problem. MIT Artificial Intelligence Laboratory, AI memo 199, June 1970.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....and the Illinois Concert system [9] employs a hybrid stack heap execution mechanism. The multithreaded Cilk language [7] exhibits a striking balance between versatility of threads, portability, and efficiency. Cilk s implementation is based on the cactus stack semantics proposed by Moses in 1970 [12]. As operating systems and compilers are turning into commodity components, it is desirable to implement multithreading in a portable manner, that is independent of processor architecture, operating system and compiler. In this memo I propose a portable software implementation of threads with a ....

Joel Moses. The Funtion of FUNCTION in LISP, or Why the FUNARG Problem Should be Called the Environment Problem. MIT Artificial Intelligence Laboratory, AI memo 199, June 1970.

....of this section is to point out in which environment the body of a reifier should be evaluated. This question is not trivial, as in Brown it is the environment from the level of definition of the reifier 16 and the result is to mask variables, in a way very similar to the old funarg problem [Moses 70] Let us take the Brown definition of exit: lambda (x) make reifier (lambda (e r k) x) This function returns a result from one level to the level above it. For one thing, this conflicts with the referential transparency of the level above: that is, since x is bound in the reified ....

Joel Moses: The Function of FUNCTION in LISP, or Why the FUNARG Problem should be called the Environment Problem, MIT-AIL, AI Memo No 199, Cambridge, Massachusetts (June 1970) 14

....how to specialise programs with full higher order functions. If we have a call to a specialisation point in an outer scope with a higher order argument that uses a specialisation point defined in an inner scope then the inner name escapes its scope of definition (a kind of upwards funarg 8 [Mos70]) When the higher order argument is unfolded, the inner specialisation point will occur out of scope. Based on the observation that the log is derived from the environment, the solution to this problem is clear: symbolic closures created in the specialiser should also enclose the log ....

Joel Moses. The function of FUNCTION in LISP, or why the FUNARG problem should be called the environment problem. Project MAC, MIT Artificial Intelligence Memo 199, MIT, Cambridge, MA, June 1970.

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