Functionele abstractie ter ondersteuning van snelle compilerbouw

Verhandeling ingediend met het oog op het behalen van de Wetenschappelijke Graad van Licenciaat in de Informatica

Vrije Universiteit Brussel, Faculteit van de Wetenschappen, 1987-1988

Door Bart De Wolf
Promotor Theo D'Hondt



Inhoud
Voorwoord 4
Inhoudstafel 7
Inleiding 10
1. Van vertalers en compilers 13
  1. Vertalers en functionele abstractie 14
  2. Vertalers in de praktijk 16
  3. De verhouding tussen bron- en doeltaal 18
  4. Structuur van een compiler 21
  5. Compilers en software engineering 23
  6. Functionaliteiten in een compiler 24
2. Een geparametriseerde abstractie voor snelle compilerbouw 26
  1. Programmatie 27
  2. Standpunt 28
  3. Structuur van de abstracte compiler 29
  4. Scanning geabstraheerd : een compromis 31
  5. De parser als stuurmodule 34
  6. Semi-formele parameterspecificaties 42
  7. Hulpmiddelen bij de invulling van de semantiek 45
  8. Implementatie van de semantiek : data-abstractie 51
  9. Een kleine bibliotheek 56
  10. Instantiatie : tweemaal programmeren 58
Epiloog 59
Bibliografie 61
Errata 63
Appendices
Appendix A
  Environment.MOD 1
  Parser.DEF 5
  Parser.MOD 6
  Semantics.DEF 16
  Scanner.DEF 17
  Scanner.MOD 18
  Errors.DEF 28
  Errors.MOD 29
Appendix B
  ParTaGe0.MOD 32
Appendix C
  ParTaGe0.MOD ( Sml ) 65
  Semantics.MOD 72
  Sml.DEF 74
  Sml.MOD 75
  Sml.NOD ( Filled ) 77
Appendix D
  Symbols.DEF 86
  Symbols.MOD 88
  T414.DEF 103
  T414.MOD 105
Appendix E
  Messages.DEF 125
  Messages.MOD 126
  MyFiles.DEF 127
  MyFiles.MOD 128
  MyStorage.DEF 134
  MyStorage.MOD 135
  Numbers.DEF 143
  Numbers.MOD 144
  Sets.DEF 146
  Sets.MOD 147
Paginas :
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65
Appendix Paginas :
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151

Home


By Bart De Wolf
Master of Information Technology
Belgium