return addressesFigure 1.4. Coding the ADD instruction in MIPS32®Figure 1.5. Compilation process2 Chapter 5Figure 5.1. Covariance and contravariance. For a color version of this figure, s...
3 Chapter 6Figure 6.1 Encoding a floating point number over 32 bits. For a color version of...
4 Chapter 7Figure 7.1. Schematic representation of memory and address. For a color version ...Figure 7.2. Pointer to a pointer. For a color version of this figure, see www.is...Figure 7.3. Cycle and reference counter. For a color version of this figure, see...Figure 7.4. List of free blocks. For a color version of this figure, see www.ist...Figure 7.5. Freeing and fragmentation. For a color version of this figure, see w...Figure 7.6. Copying and compacting in a copying GC. For a color version of this ...
List of Tables
1 Chapter 2Table 2.1. Language of expressions Exp1Table 2.2. Evaluation of the expressions of Exp1Table 2.3. Language Def 1 of definitions
2 Chapter 3Table 3.1. Syntax of the language of expressions Exp2Table 3.2. Interpretation of operatorsTable 3.3. Evaluation of expressions in Exp2
3 Chapter 4Table 4.1. Language of defintions Def3Table 4.2. Language of expressions Exp3Table 4.3. Language of commands Lang3Table 4.4. Evaluation of expressions in Exp3Table 4.5. Extension of relation →Def3 : procedures
4 Chapter 5Table 5.1. Type algebra for Exp2Table 5.2. Type algebra of Lang3
5 Chapter 6Table 6.1. Integer size by languageTable 6.2. Data range by typeTable 6.3. Extension of the syntax of Exp2 for pattern matching
6 Chapter 8Table 8.1. Extension of the syntax of Exp2 to include exceptions
Guide
1 Cover
5 Foreword
6 Preface
9 Appendix: Solutions to the Exercises
12 References
13 Index
Pages
1 v
2 iii
3 iv
4 xi
5 xii
6 xiii
7 xiv
8 1
9 2
10 3
11 4
12 5
13 6
14 7
15 8
16 9
17 10
18 11
19 12
20 13
21 14
22 15
23 16
