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

Weitere Magazine

Empfehlungen

Info

2 Dieses Werk steht unter der Creative Commons by-sa“-Lizenz (Namensnennung, ” Weitergabe unter gleichen Bedingungen), CC○ ○BY: C ○ Copyright © Herbert Klaeren, 1997–2011. Prof. Dr. H. Klaeren Universität Tübingen Wilhelm-Schickard-Institut D–72076 Tübingen +49–7071–29 75457 klaeren@informatik.uni-tuebingen.de
INHALTSVERZEICHNIS i Inhaltsverzeichnis 1 Einführung 1 1.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 <strong>Konzepte</strong> und ihre Umsetzung . . . . . . . . . . . . . . . . . . . . . . . . 6 1.3 Literaturhinweise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.4 Aufgaben . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2 Grundlagen von Sprachen 19 2.1 Syntax, Semantik, Pragmatik . . . . . . . . . . . . . . . . . . . . . . . . . 19 2.2 Compilation versus Interpretation . . . . . . . . . . . . . . . . . . . . . . 21 2.3 Bootstrapping . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2.4 Aufgaben . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 3 Paradigmata der Programmierung 35 3.1 imperativ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 3.2 funktional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 3.3 relational . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 3.4 objektorientiert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 3.5 Aufgaben . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 4 Entitäten, Namen und Bindungen 43 4.1 Exkurs: Der Lambda-Kalkül . . . . . . . . . . . . . . . . . . . . . . . . . . 47 4.2 Bindungen in <strong>Programmiersprachen</strong> . . . . . . . . . . . . . . . . . . . . . 62 4.3 Attribute von Variablen, Deklarationen . . . . . . . . . . . . . . . . . . . 63 4.4 Aufgaben . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 5 Laufzeitorganisation 77 5.1 Ein abstraktes Maschinenmodell . . . . . . . . . . . . . . . . . . . . . . . 78 5.2 Statische Allokation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 5.3 Dynamische Allokation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 5.4 Aktivierungsblöcke . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 5.5 Zugriff auf nichtlokale Grössen . . . . . . . . . . . . . . . . . . . . . . . . 96 5.6 Funktionen als Werte, Closures . . . . . . . . . . . . . . . . . . . . . . . . 102 5.7 Aufgaben . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 6 Prozedurale Abstraktion 107 6.1 Parameter-Zuordnungsmethoden . . . . . . . . . . . . . . . . . . . . . . . 107 6.2 Parameter-Übergabemechanismen . . . . . . . . . . . . . . . . . . . . . . 109 6.3 Parameter-Auswertungsstrategien . . . . . . . . . . . . . . . . . . . . . . 114 6.4 Implementierung der Parameterübergabe . . . . . . . . . . . . . . . . . . 115 6.5 Prozeduren als Parameter . . . . . . . . . . . . . . . . . . . . . . . . . . . 116 6.6 Aufgaben . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 4. Februar 2013
Seite 1: Mathematisch- Naturwissenschaftlich
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 und 40: 2 GRUNDLAGEN VON SPRACHEN 31 MiniP
Seite 41 und 42: 2 GRUNDLAGEN VON SPRACHEN 33 (im Ge
Seite 43 und 44: 3 PARADIGMATA DER PROGRAMMIERUNG 35
Seite 51 und 52: 4 ENTITÄTEN, NAMEN UND BINDUNGEN 4
Seite 53 und 54:
4 ENTITÄTEN, NAMEN UND BINDUNGEN 4
Seite 55 und 56:
Seite 57 und 58:
Seite 59 und 60:
Seite 61 und 62:
Seite 63 und 64:
Seite 65 und 66:
Seite 67 und 68:
Seite 69 und 70:
Seite 71 und 72:
Seite 73 und 74:
Seite 75 und 76:
Seite 77 und 78:
Seite 79 und 80:
Seite 81 und 82:
Seite 83 und 84:
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 ...

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?