R. Douence and P. Fradet. A systematic study of functional language implementations. ACM Transactions on Programming Languages and Systems, 20(2):344--387, March 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Type System For the Push-Enter Model - Kwanghoon Choi Cs (2002) (Correct)
....it guarantees that at least one argument is always available before every applying operation; no examination on the existence of arguments is needed in runtime. The CPS conversion (SML NJ compiler [1] and the h ; Gi machine (LML compiler [2] are compilation methods based on the eval apply model [4]. In the push enter model, after the argument expression of an application is evaluated, the resulting argument value is immediately given to the function expression of the application even if the expression is not fully evaluated yet. When the expression is eventually evaluated to some function, ....
....A function will be returned if no argument is available as in the case that the function is obtained from the evaluation of an argument expression. The ZINC machine (OCaml compiler [6] and the STG machine (Glasgow Haskell compiler [8] are compilation methods based on the push enter model [4]. In general, each model has advantages over the other [4, 6, 8] The eval apply model arranges argument passing statically in that it needs no dynamic examination of the existence of arguments in runtime. This model, however, returns a function whenever the function is obtained from an ....
[Article contains additional citation context not shown here]
Remi Douence and Pascal Fradet. A Systematic Study of Functional Language Implementations. ACM Transactions on Programming Languages and Systems, 20(2):274-301, March 1998.
Making a Fast Curry - Push Enter Vs (Correct)
No context found.
R. Douence and P. Fradet. A systematic study of functional language implementations. ACM Transactions on Programming Languages and Systems, 20(2):344--387, March 1998.
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