Professional Documents
Culture Documents
Chapter 1
SPECIFYING SYNTAX
10
18
23
30
Chapter 2
31
33
39
49
52
57
Chapter 3
ATTRIBUTE GRAMMARS
59
xii
CONTENTS
67
74
92
103
Chapter 4
TWO-LEVEL GRAMMARS
105
105
116
138
Chapter 5
139
160
CONTENTS
166
Chapter 6
167
179
185
Chapter 7
TRANSLATIONAL SEMANTICS
7.1 CONCEPTS AND EXAMPLES
A Program Translation
189
Exercises
191
187
187
191
215
222
Chapter 8
223
224
228
235
238
245
xiii
xiv
CONTENTS
Example
Outcomes
Exercises
248
250
252
253
269
Chapter 9
DENOTATIONAL SEMANTICS
271
271
277
285
310
304
264
CONTENTS
323
339
Chapter 10
341
394
Chapter 11
AXIOMATIC SEMANTICS
395
398
396
388
xv
xvi
CONTENTS
Rules of Inference
401
While Command and Loop Invariants
More on Loop Invariants
408
Nested While Loops
410
Exercises
415
405
418
435
437
442
Chapter 12
ALGEBRAIC SEMANTICS
443
453
CONTENTS
487
499
506
Chapter 13
ACTION SEMANTICS
507
508
522
531
563
559
xvii
xviii
CONTENTS
Appendix A
565
583
Appendix B
625
611
587