상세정보

CONTENTS
Preface = ix
1. What is a compiler? = 1
 1.1 The need for machine translation = 1
 1.2 The structure of a compiler = 4
 1.3 A demonstration compiler = 10
 Exercises = 11
 Further reading = 12
2. Target languages = 13
 2.1 Types of target machine = 13
 2.2 Implementation methods = 16
 Exercises = 26
 Further reading = 26
3. Formal grammars = 28
 3.1 Defining the structure of a language = 29
 3.2 Properties of grammars = 35
 3.3 Syntax-directed translation = 40
 Exercises = 43
 Further reading = 44
4. Intermediate representations = 45
 4.1 Types of intermediate representations = 45
 4.2 Abstract machines = 58
 Exercises = 58
 Further reading = 59
5. Lexical analysis = 60
 5.1 Why have a separate lexical analyser? = 60
 5.2 Ad hoc lexical analysers = 66
 5.3 Lexical analysis with finite state machines = 69
 Exercises = 76
 Further reading = 77
6. Syntax analysis methods = 78
 6.1 Approaches to parsing = 78
 6.2 Top-down parsing methods = 80
 6.3 Bottom-up parsing = 92
 Exercises = 110
 Further reading = 111
7. Error handling = 112
 7.1 Compile-time error handling = 113
 7.2 Run-time errors = 115
 Exercises = 116
 Further reading = 116
8. Parser generators = 117
 8.1 YACC = 117
 8.2 YACC and ambiguous grammars = 120
 8.3 Type consiste6cy in YACC = 125
 8.4 Error handling = 126
 Exercises = 127
 Further reading = 128
9. Semantic checking = 129
 9.1 Type checking = 129
 9.2 Other semantic checks = 136
 Exercises = 136
 Further reading = 137
10. Code generation = 138
 10.1 Edclarations and storage allocation = 139
 10.2 Expressions and assignment = 142
 10.3 Flow of control = 145
 Exercises = 149
 Further reading = 150
11. Code optimization = 151
 11.1 Basic blocks = 151
 11.2 Loop optimizations = 160
 11.3 Register optimization = 165
 11.4 Other optimizations = 166
 Exercises = 169
 Further reading = 70
12. A complete compiler for VSL = 171
 12.1 The VC compiler for VSL = 171
 12.2 Description of the compiler = 172
 12.3 Building the compiler = 223
 12.4 Running the compiler = 224
 Exercises = 228
Appendix. VSL, VAM, and VAS = 230
 A.1 The grammar of VSL = 230
 A.2 The VSL Abstract Machine = 231
 A.3 A mnemonic assembler for VAM = 233
Index = 234