Zum Hauptinhalt springen
Kapitel
Lizenziert
Nicht lizenziert Erfordert eine Authentifizierung

12 Statische und dynamische Semantik

Veröffentlichen auch Sie bei De Gruyter Brill
Erkunden Sie dieses Fachgebiet So veröffentlichen Sie bei uns
Programmierung - eine Einführung in die Informatik mit Standard ML
Ein Kapitel aus dem Buch Programmierung - eine Einführung in die Informatik mit Standard ML

Kapitel in diesem Buch

  1. Front Matter I
  2. Inhaltsverzeichnis IX
  3. 1 Schnellkurs 1
  4. Vorwort V
  5. 2 Programmiersprachliches 29
  6. 3 Höherstufige Prozeduren 49
  7. Back Matter 353
  8. 4 Listen und Strings 75
  9. 5 Sortieren 99
  10. 6 Konstruktoren und Ausnahmen 113
  11. 7 Bäume 131
  12. 8 Mengenlehre 155
  13. 9 Mathematische Prozeduren 179
  14. 10 Induktive Korrektheitsbeweise 199
  15. 11 Laufzeit rekursiver Prozeduren 217
  16. 12 Statische und dynamische Semantik 241
  17. 13 Konkrete Syntax 259
  18. 14 Datenstrukturen 279
  19. 15 Speicher und veränderliche Objekte 297
  20. 16 Stapelmaschinen und Übersetzer 325
  21. A Klammersparregeln 353
  22. Literaturverzeichnis 355
  23. Index 357
https://doi.org/10.1524/9783486595345.241

Kapitel in diesem Buch

  1. Front Matter I
  2. Inhaltsverzeichnis IX
  3. 1 Schnellkurs 1
  4. Vorwort V
  5. 2 Programmiersprachliches 29
  6. 3 Höherstufige Prozeduren 49
  7. Back Matter 353
  8. 4 Listen und Strings 75
  9. 5 Sortieren 99
  10. 6 Konstruktoren und Ausnahmen 113
  11. 7 Bäume 131
  12. 8 Mengenlehre 155
  13. 9 Mathematische Prozeduren 179
  14. 10 Induktive Korrektheitsbeweise 199
  15. 11 Laufzeit rekursiver Prozeduren 217
  16. 12 Statische und dynamische Semantik 241
  17. 13 Konkrete Syntax 259
  18. 14 Datenstrukturen 279
  19. 15 Speicher und veränderliche Objekte 297
  20. 16 Stapelmaschinen und Übersetzer 325
  21. A Klammersparregeln 353
  22. Literaturverzeichnis 355
  23. Index 357
Heruntergeladen am 24.4.2026 von https://www.degruyterbrill.com/document/doi/10.1524/9783486595345.241/html?lang=de
Button zum nach oben scrollen