Andrew W. Appel  Home/Search
Context Related
| inria.fr/INRIA/Projects...16appel.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math.ju...ftp.inria.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: If a compiler for language L is implemented in L, then it should be able to compile itself. But for systems used interactively, commands are compiled and immediately executed, and these commands may invoke the compiler, there is the question of how ever to cross-compile for another architecture. Also, where the compiler writes binary files of static type information that must then be read in by the bootstrapped interactive compiler, how can one ever change the format of digested type... (Update)
Context of citations to this paper: More
.... 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...
.... 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...
Cited by: More
Separate Compilation for Standard ML - Appel, MacQueen (1994) (Correct)
A Compilation Manager for SML/NJ - User Manual - Blume (1997) (Correct)
Hierarchical Modularity And Intermodule Optimization - Blume (1997) (Correct)
Similar documents (at the sentence level):
41.3%: Axiomatic Bootstrapping: A guide for compiler hackers - Appel (1994) (Correct)
Active bibliography (related documents): More All
0.3: An Implementation of the Haskell Language - Spinellis (1990) (Correct)
0.1: Domain-Specific Languages in Software Development - and the.. - Christensen (2003) (Correct)
0.1: Implementing Actions - van der Storm (2003) (Correct)
Similar documents based on text: More All
0.4: CMB: The SML/NJ Bootstrap Compiler (for SML/NJ version 110.35 and.. - Blume (2001) (Correct)
0.1: Learning Dictionaries for Information Extraction by.. - Riloff, Jones (1999) (Correct)
0.1: Bootstrapping for Text Learning Tasks - Jones, McCallum, Nigam, Riloff (1999) (Correct)
Related documents from co-citation: More All
4: Incremental recompilation for Standard ML of New Jersey - Harper, Lee et al. - 1994
4: The cost of selective recompilation and environment processing (context) - Adams, Tichy et al. - 1994
4: Make--a program for maintaining computer programs - Feldman - 1979
BibTeX entry: (Update)
Andrew W. Appel. Axiomatic bootstrapping: A guide for the compiler hacker. Technical Report CS-TR-45194, Princeton University, March 1994. http://citeseer.ist.psu.edu/appel94axiomatic.html More
@article{ appel94axiomatic,
author = "Andrew W. Appel",
title = "Axiomatic Bootstrapping: {A} Guide for Compiler Hackers",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "16",
number = "6",
month = "November",
publisher = "ACM Press",
pages = "1699--1718",
year = "1994",
url = "citeseer.ist.psu.edu/appel94axiomatic.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
52 Reflections on trusting trust (context) - Thompson - 1984
34 Separate compilation for Standard ML - Appel, MacQueen - 1994
9 A formalism for translator interactions (context) - Earley, Sturgis - 1970
3 Computer-aided production of language implementation systems.. (context) - Lecarme, Pellissier et al. - 1982
2 A onepage paper that is half diagrams (context) - Bratman, form et al. - 1961
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.inria.fr.html): More
Model-Checking of CTL on Infinite Kripke Structures.. - Quemener, Jéron (1995) (Correct)
An Experiment in Automatic Generation of Test.. - Fernandez, Jard.. (1996) (Correct)
Spill Code Minimization via Interference Region Spilling - Bergner, Dahl.. (1997) (Correct)
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