Andrew W. Appel. Axiomatic bootstrapping: A guide for the compiler hacker. Technical Report CS-TR-45194, Princeton University, March 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Compilation Manager for SML/NJ - User Manual - Blume (1997) (Correct)
....tools mechanism. Examples of such tools are the version control system RCS [Tic85] the parser generator ML Yacc [TA90] and the literate programming tool noweb [Ram94] One important use for CM is the maintenance of SML NJ s compiler, which is not quite the same as maintaining other SML programs [App94]. For that reason we offer a special interface, which facilitates controlling batch compilation, bootstrapping, and the process of retargeting the compiler to a different machine architecture. 2 Why CM The basic function of CM is to perform separate compilation, automatic dependency analysis, ....
.... ny end end 22 A Using CM for compiling the compiler A.1 Introduction For CM s precursor SC there existed a special batch version called SCB, which was used by those who work on SML NJ s compiler itself. Recompiling compiler sources is closely related to the process of bootstrapping SML NJ [App94]. There is no separate batch version of CM; the functionality of batch compilation has been integrated into CM proper. It is available through two additional top level structures: CMB and CMR. A.2 Batch compilation structure CMB The batch compiler is implemented as a structure called CMB ....
Andrew W. Appel. Axiomatic bootstrapping: A guide for the compiler hacker. ACM Trans. on Programming Languages and Systems, 16(6):1699--1718, November 1994.
Hierarchical Modularity And Intermodule Optimization - Blume (1997) (2 citations) (Correct)
....perspective of the compiler development team is the maintenance of SML NJ s compiler. The compiler is just another SML program, but the circumstances under which it is integrated into the rest of the system especially the fact that it must compile itself can require non standard treatment [App94] For that reason CM offers a special interface, which facilitates controlling batch compilation, bootstrapping, and the process of retargeting the compiler to a different machine architecture. Batch compilation the structure CMB The batch compiler is implemented as a structure called CMB, ....
Andrew W. Appel. Axiomatic bootstrapping: A guide for the compiler hacker. ACM Transactions on Programming Languages and Systems, 16(6):1699-- 1718, November 1994.
Separate Compilation for Standard ML - Appel, MacQueen (1994) (26 citations) Self-citation (Appel) (Correct)
....upon NewCompiler to generate binary files. Of course, the old interactive system should not attempt to execute these files ) The many constraints between old and new compilers make cross compilation difficult to understand, but a simple axiomatization makes things much more manageable [2]. 10 Alternatives Dependencies between implementations arise from one implementation module mentioning another directly. If the interfaces were fully expressive (as they are in Modula 2) this would not matter; but in Standard ML, information about the identity of types can leak through the ....
Andrew W. Appel. Axiomatic bootstrapping: A guide for the compiler hacker. Technical Report CS-TR-45194, Princeton University, March 1994.
Separate Compilation for Standard ML - Appel, MacQueen (1994) (26 citations) Self-citation (Appel) (Correct)
....calls upon NewCompiler to generate binary files. Of course, the old interactive system should not attempt to execute these files ) The many constraints between old and new compilers make cross compilation difficult to understand, but a simple axiomatization makes things much more manageable [2]. 10 Alternatives Dependencies between implementations arise from one implementation module mentioning another directly. If the interfaces were fully expressive (as they are in Modula 2) this would not matter; but in Standard ML, information about the identity of types can leak through the ....
Andrew W. Appel. Axiomatic bootstrapping: A guide for the compiler hacker. Technical Report CS-TR-45194, Princeton University, March 1994.
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