Page:AITR-474.djvu/15

From Wikisource
Jump to: navigation, search
This page has been proofread, but needs to be validated.


Contents
1.Introduction 7
A.Background 7
B.The Thesis 10
2.The Source Language - SCHEME 15
3.The Target Language 18
4.The Target Machine 22
5.Language Design Considerations 25
6.The Use of Macros 28
7.The Imperative Treatment of Applicative Constructs 37
8.Compilation Strategy 44
A.Alpha-conversion and macro-expansion 45
B.Preliminary analysis 46
C.Optimization 49
D.Conversion to Continuation-Passing Style 56
E.Environment and closure analysis 60
F.Code generation 64
9.Example: Compilation of Iterative Factorial 69
10.Performance Measurements 86
11.Comparison with Other Work 88
12.Conclusions and Future Work 90
Notes 93
References 113
Appendix 117