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; so 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 information in binary files? Here I attempt an axiomatic clarification of the bootstrapping technique, using Standard ML of New Jersey as a case study. This should be useful to implementors of any self-applicable interactive compiler with nontrivial object-file and runtime-system compatibility problems.
Original language | English (US) |
---|---|
Pages (from-to) | 1699-1718 |
Number of pages | 20 |
Journal | ACM Transactions on Programming Languages and Systems (TOPLAS) |
Volume | 16 |
Issue number | 6 |
DOIs | |
State | Published - Jan 11 1994 |
All Science Journal Classification (ASJC) codes
- Software
Keywords
- Bootstrapping