Now suppose we define an expression to be … for order-of-application independence is that a program should … may be applied by our program into serious … a program will be independent of order-of-application if … [an application of a serious function]. … [To implement this transformation] one replaces each serious function f_old (except … continuation. [Morris and Wadsworth ref] … f_new is expected to compute the same result … … instead of performing further actions after a serious … serious function. … [p. 731] The most complex part of our transformation … [of the interpreter] … [To insure call-by-value] The solution is to call eval to … [evaluate the operator] … [evaluate the operand], to give the second call of eval a continuation which … [apply the value of the operator to the value of the operand], and to give apply a continuation (the original continuation c … [for eval] …
Google-1
Google-2
Copyright clearance needed for quotation.