George, L., F. Guillame, and J. Reppy. A portable and optimizing back end for the SML/NJ compiler. In CC'94, April 1994, pp. 83--97. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Compiler Support for Lightweight Concurrency - Fisher, Reppy (2001) (Correct)
....first order representation with explicit closures called BOL clusters. We describe how cluster conversion handles continuations in Section 5.1. After further simplification and introduction of heap limit checks, the cluster representation is translated to assembly code using the MLRISC framework [GGR94] We describe the translation of continuations and their operations in Sections 5.2 and 5.3. The translation to machine code also generates information that the runtime system uses to implement thread preemption, which we discuss in Section 5.4. 8 These optimizations mostly affect the ....
George, L., F. Guillame, and J. Reppy. A portable and optimizing back end for the SML/NJ compiler. In CC'94, April 1994, pp. 83--97.
Local CPS conversion - Reppy (2001) (Correct)
....information. 2 fun applyf (f, n) let fun lp i i = if (i n) then let fun lp j j = if (j n) then (f(i, j) lp j(j 1) else ( in lp j 0; lp i(i 1) end else ( in lp i 0 end Figure 1: A nested loop using tail recursion translate it to assembly code using the MLRISC framework [GGR94, GA96] Each BOL cluster is mapped to a single machine procedure, i.e. its fragments share the same stack frame at run time. Furthermore, control transfers inside the cluster are implemented as jumps and local variables, including internal fragment parameters, are mapped to MLRISC ....
George, L., F. Guillame, and J. Reppy. A portable and optimizing back end for the SML/NJ compiler. In Fifth International Conference on Compiler Construction, April 1994, pp. 83--97. 15
A Framework for Interoperability - Fisher, Pucella, al. (2001) (Correct)
....of interoperability policies. In this section, we describe two foreign interface generator tools for MOBY that implement significantly different policies on top of our framework. We also describe some other potential uses of our framework. 7 Our code generator is based on the MLRisc framework [GGR94]. 7 Fisher, Pucella, and Reppy 3.1 Moby IDL One of the most popular ways of automating the connection between high level languages and C is to use an interface description language (IDL) to specify the foreign interface [FLMP98,Ler99,PR00] An IDL specification is essentially a C header file ....
George, L., F. Guillame, and J. H. Reppy. A portable and optimizing back end for the SML/NJ compiler. In CC'94, April 1994, pp. 83--97.
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