2 Ergebnisse.

Frontmatter -- Vorwort -- Inhaltsverzeichnis -- 1 Elemente funktionaler Programmierung -- 2 Verzögerte Auswertung -- 3 Verifikation und Programm-Transformation -- 4 Der Lambda-Kalkül -- 5 Typisierung und Typinferenz -- 6 Implementierungstechniken -- Lösungen zu den Aufgaben -- Literatur -- Index

Das Buch bietet eine kompakte Einführung in die Grundlagen und Techniken des Übersetzerbaus. Übersetzer transformieren Texte einer Quellsprache, deren Struktur durch eine formale Grammatik beschrieben ist, in eine Zielsprache. Die Übersetzung imperativer Programmiersprachen in Maschinensprache ist dabei nur ein Spezialfall. Dieses Lehrbuch betont die vielseitige Verwendbarkeit von Übersetzerbau-Techniken. Insbesondere kann man mit Methoden der Syntaxanalyse Strukturen in Texten, Dateien oder ...