Konzepte h¨oherer Programmiersprachen (Entwurf) - WSI ...

Weitere Magazine

Empfehlungen

Info

32 2.3 Bootstrapping MiniP → CDC MiniP MiniP → CDC MiniP MiniP → CDC CDC CDC MiniP → CDC CDC CDC MiniP → CDC CDC MiniP → CDC CDC Abbildung 18: Bootstrap des Pascal-Compilers, Phase 4 und 5 kogrund.pdf
2 GRUNDLAGEN VON SPRACHEN 33 (im Gegensatz zur zweiten!) wieder im wesentlichen gleichen Binärcode erzeugen. Der Weg von dem MiniP-Compiler zum echten Pascal-Compiler erfordert dann weitere Bootstrap-Schritte: Es wird jeweils die Sprachbasis erweitert (im Idealfall in einem Schritt von MiniP zu Pascal), der in MiniP geschriebene Compiler dementsprechend angepasst und mit sich selbst compiliert, anschliessend die Quelle des Compilers entsprechend der jetzt erweiterten Sprachbasis womöglich besser formuliert, erneut selbstcompiliert usf. Der Leser kann sich an dieser Stelle die entsprechenden Folgen von T-Diagrammen sicher selbst vorstellen. In jedem Schritt findet nach der erfolgreichen Selbstcompilation nochmals eine weitere statt mit dem Ziel, zu überprüfen, dass dabei wirklich identischer Code entsteht. Achtung: Bei dem Prozess muss darauf geachtet werden, die Binärversionen der Compiler lange genug aufzuheben, denn wenn es erst einmal dazu gekommen ist, dass ein Compiler entstanden ist, der keinen (korrekten) Code mehr erzeugt, dann muss man auf eine ältere, noch funktionierende Version zurückgreifen können, weil sonst der ganze Prozess von vorne gestartet werden muss. In seiner Turing-Award-Lecture zeigt Ken Thompson (1987) auf, wie sich durch solche Bootstrap-Prozesse auch trojanische Pferde in Compiler integrieren lassen, die hinterher im Quellcode des Compilers nicht mehr ersichtlich sind. 2.4 Aufgaben 1. Was versteht man unter Syntax, Semantik und Pragmatik einer Programmiersprache? 2. Was versteht man unter der ” semantischen Lücke?“ 3. Was sind die Vor- und Nachteile von Compilation bzw. Interpretation von Programmen? 4. Beschreiben Sie den Prozess des Compiler-Bootstrapping! Welche Rolle spielen ” Selbstcompilationen“ dabei? Copyright © Herbert Klaeren, 4. Februar 2013
Seite 1 und 2: Mathematisch- Naturwissenschaftlich
Seite 3 und 4: INHALTSVERZEICHNIS i Inhaltsverzeic
Seite 5 und 6: INHALTSVERZEICHNIS iii A.6 Eine and
Seite 7 und 8: TABELLENVERZEICHNIS v 45 Binärer S
Seite 9 und 10: 1 EINFÜHRUNG 1 1 Einführung Weil
Seite 11 und 12: 1 EINFÜHRUNG 3 Defizite bekannter
Seite 13 und 14: 1 EINFÜHRUNG 5 werden kann. Offens
Seite 15 und 16: 1 EINFÜHRUNG 7 Endwert für diese
Seite 17 und 18: 1 EINFÜHRUNG 9 tische Semantik hö
Seite 19 und 20: 1 EINFÜHRUNG 11 (generischen) Asse
Seite 21 und 22: 1 EINFÜHRUNG 13 bleibt das Kapitel
Seite 23 und 24: 1 EINFÜHRUNG 15 spiele zu Pascal,
Seite 25 und 26: 1 EINFÜHRUNG 17 der Organisation h
Seite 27 und 28: 2 GRUNDLAGEN VON SPRACHEN 19 2 Grun
Seite 29 und 30: 2 GRUNDLAGEN VON SPRACHEN 21 2.2 Co
Seite 31 und 32: 2 GRUNDLAGEN VON SPRACHEN 23 piler
Seite 33 und 34: 2 GRUNDLAGEN VON SPRACHEN 25 E P A
Seite 35 und 36: 2 GRUNDLAGEN VON SPRACHEN 27 Pascal
Seite 37 und 38: 2 GRUNDLAGEN VON SPRACHEN 29 Pascal
Seite 39: 2 GRUNDLAGEN VON SPRACHEN 31 MiniP
Seite 43 und 44: 3 PARADIGMATA DER PROGRAMMIERUNG 35
Seite 51 und 52: 4 ENTITÄTEN, NAMEN UND BINDUNGEN 4
Seite 85 und 86: 5 LAUFZEITORGANISATION 77 5 Laufzei
Seite 87 und 88: 5 LAUFZEITORGANISATION 79 2 1 0 D P
Seite 89 und 90: 5 LAUFZEITORGANISATION 81 5.1.2 Der
Seite 91 und 92:
5 LAUFZEITORGANISATION 83 5.2 Stati
Seite 93 und 94:
5 LAUFZEITORGANISATION 85 0 call 3
Seite 95 und 96:
5 LAUFZEITORGANISATION 87 Für unse
Seite 97 und 98:
5 LAUFZEITORGANISATION 89 Bezeichne
Seite 99 und 100:
5 LAUFZEITORGANISATION 91 hat, welc
Seite 101 und 102:
5 LAUFZEITORGANISATION 93 Wie wird
Seite 103 und 104:
5 LAUFZEITORGANISATION 95 pshFP s+3
Seite 105 und 106:
5 LAUFZEITORGANISATION 97 5.5.1 Sta
Seite 107 und 108:
5 LAUFZEITORGANISATION 99 Abbildung
Seite 109 und 110:
5 LAUFZEITORGANISATION 101 ist, kö
Seite 111 und 112:
5 LAUFZEITORGANISATION 103 Demnach
Seite 113 und 114:
5 LAUFZEITORGANISATION 105 welche d
Seite 115 und 116:
6 PROZEDURALE ABSTRAKTION 107 6 Pro
Seite 117 und 118:
6 PROZEDURALE ABSTRAKTION 109 Zur V
Seite 119 und 120:
6 PROZEDURALE ABSTRAKTION 111 wird.
Seite 121 und 122:
6 PROZEDURALE ABSTRAKTION 113 Umben
Seite 123 und 124:
6 PROZEDURALE ABSTRAKTION 115 Tat n
Seite 125 und 126:
6 PROZEDURALE ABSTRAKTION 117 Das B
Seite 127 und 128:
6 PROZEDURALE ABSTRAKTION 119 geben
Seite 129 und 130:
7 TYPEN UND TYPSYSTEME 121 7 Typen
Seite 131 und 132:
7 TYPEN UND TYPSYSTEME 123 • Mode
Seite 133 und 134:
7 TYPEN UND TYPSYSTEME 125 7.1.1 St
Seite 135 und 136:
7 TYPEN UND TYPSYSTEME 127 Spezialf
Seite 137 und 138:
7 TYPEN UND TYPSYSTEME 129 ✞ ☎
Seite 139 und 140:
7 TYPEN UND TYPSYSTEME 131 für all
Seite 141 und 142:
7 TYPEN UND TYPSYSTEME 133 Zahlen v
Seite 143 und 144:
7 TYPEN UND TYPSYSTEME 135 Abbildun
Seite 145 und 146:
7 TYPEN UND TYPSYSTEME 137 genau di
Seite 147 und 148:
7 TYPEN UND TYPSYSTEME 139 und (−
Seite 149 und 150:
7 TYPEN UND TYPSYSTEME 141 Man kann
Seite 151 und 152:
7 TYPEN UND TYPSYSTEME 143 In Java
Seite 153 und 154:
7 TYPEN UND TYPSYSTEME 145 verwende
Seite 155 und 156:
7 TYPEN UND TYPSYSTEME 147 2. Man m
Seite 157 und 158:
7 TYPEN UND TYPSYSTEME 149 also wä
Seite 159 und 160:
7 TYPEN UND TYPSYSTEME 151 Dabei nu
Seite 161 und 162:
7 TYPEN UND TYPSYSTEME 153 # r i un
Seite 163 und 164:
7 TYPEN UND TYPSYSTEME 155 7.4.10 M
Seite 165 und 166:
7 TYPEN UND TYPSYSTEME 157 Wert: Fo
Seite 167 und 168:
7 TYPEN UND TYPSYSTEME 159 Eine äh
Seite 169 und 170:
7 TYPEN UND TYPSYSTEME 161 so lange
Seite 171 und 172:
7 TYPEN UND TYPSYSTEME 163 Typ einf
Seite 173 und 174:
7 TYPEN UND TYPSYSTEME 165 ✞ ☎
Seite 175 und 176:
7 TYPEN UND TYPSYSTEME 167 jedoch a
Seite 177 und 178:
7 TYPEN UND TYPSYSTEME 169 65 iload
Seite 179 und 180:
8 MODULKONZEPT 171 8 Modulkonzept D
Seite 181 und 182:
8 MODULKONZEPT 173 auch in P , A un
Seite 183 und 184:
8 MODULKONZEPT 175 her nur den abso
Seite 185 und 186:
8 MODULKONZEPT 177 externe Adresse
Seite 187 und 188:
8 MODULKONZEPT 179 enthält natürl
Seite 189 und 190:
9 OBJEKTKONZEPT 181 9 Objektkonzept
Seite 191 und 192:
9 OBJEKTKONZEPT 183 1. Wie Simula-6
Seite 193 und 194:
9 OBJEKTKONZEPT 185 FigureDesc=RECO
Seite 195 und 196:
9 OBJEKTKONZEPT 187 Um solch einem
Seite 197 und 198:
10 AUSNAHMEBEHANDLUNG 189 10 Ausnah
Seite 199 und 200:
10 AUSNAHMEBEHANDLUNG 191 Modemverb
Seite 201 und 202:
10 AUSNAHMEBEHANDLUNG 193 Exception
Seite 203 und 204:
10 AUSNAHMEBEHANDLUNG 195 4. Haben
Seite 205 und 206:
10 AUSNAHMEBEHANDLUNG 197 für die
Seite 207 und 208:
10 AUSNAHMEBEHANDLUNG 199 In der En
Seite 209 und 210:
10 AUSNAHMEBEHANDLUNG 201 ✞ ☎ t
Seite 211 und 212:
10 AUSNAHMEBEHANDLUNG 203 bevorzuge
Seite 213 und 214:
10 AUSNAHMEBEHANDLUNG 205 ✞ ☎ v
Seite 215 und 216:
11 ENTWURF VON PROGRAMMIERSPRACHEN
Seite 217 und 218:
Seite 219 und 220:
Seite 221 und 222:
12 KRITIK AN PROGRAMMIERSPRACHEN 21
Seite 223 und 224:
Seite 225 und 226:
Seite 227 und 228:
A EIN WENIG GESCHICHTE 219 A Ein we
Seite 229 und 230:
A EIN WENIG GESCHICHTE 221 können,
Seite 231 und 232:
A EIN WENIG GESCHICHTE 223 diesen A
Seite 233 und 234:
A EIN WENIG GESCHICHTE 225 Die erst
Seite 235 und 236:
A EIN WENIG GESCHICHTE 227 Abbildun
Seite 237 und 238:
A EIN WENIG GESCHICHTE 229 Oktalzah
Seite 239 und 240:
A EIN WENIG GESCHICHTE 231 Pascal a
Seite 241 und 242:
A EIN WENIG GESCHICHTE 233 Ideal de
Seite 243 und 244:
B ZITATE ZUM THEMA PROGRAMMIERSPRAC
Seite 245 und 246:
Seite 247 und 248:
Seite 249 und 250:
Seite 251 und 252:
C GRUSELKABINETT 243 C Gruselkabine
Seite 253 und 254:
C GRUSELKABINETT 245 z := f ( a [ i
Seite 255 und 256:
C GRUSELKABINETT 247 return 0 ; }
Seite 257 und 258:
C GRUSELKABINETT 249 3. Mehrdeutige
Seite 259 und 260:
C GRUSELKABINETT 251 Sie [die Sprac
Seite 261 und 262:
LITERATUR 253 Literatur Abelson u.
Seite 263 und 264:
LITERATUR 255 Franz 1997 FRANZ, Mic
Seite 265 und 266:
LITERATUR 257 Jones 1999 JONES, Hug
Seite 267 und 268:
LITERATUR 259 Liskov und Guttag 198
Seite 269 und 270:
LITERATUR 261 Strachey 1967 STRACHE
Alle anzeigen

Konzepte h¨oherer Programmiersprachen (Entwurf) - WSI ...

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?