ls SIPS (SS 2006) [Uni-Passau] [FMI] [Infosun] [Lehrstuhl für Programmierung] [Lehrtätigkeit]

Struktur und Implementierung von Programmiersprachen I
(SS 2006)

	Zeit	Ort	Dozent
Vorlesung	Do 8:15-9:50	IM 030	Herrmann
Übungen	Mi 10:15-11:45	IM 028	Herrmann

Eintrag im kommentierten Vorlesungsverzeichnis

Klausur

Termin: Dienstag, 1. August 2006, 9:00-11:00 Uhr, IM HS12.
Hilfsmittel sind nicht zugelassen.

Übersicht

Aktuelles
Vorlesungsplan, Folien und Ergänzungsmaterialien
Übungsmaterialien
Begleitende Literatur

Vorlesungsplan, Folien und Ergänzungsmaterialien

Datum	Inhalt	Lehrbuch
27.04.	Einführung	1.1-4
04.05.	Hüllenberechnung, Scanner	1.10, 2.1.1-4, 2.1.6
11.05.	Rekursives LL-Parsing	2.2.1-2.2.4.3
18.05.	Tabellengesteuertes LL-Parsing	2.2.4.4-2.2.4.5
25.05.	Christi Himmelfahrt	--
01.06.	Bottom-Up Parsergenerierung: LR(0) und SLR(1)	2.2.5.1-2.2.5.4
08.06.	LR(1)-, LALR(1)-Parsing, LR-Fehlerbehandlung	2.2.5.5-2.2.5.8
15.06.	Fronleichnam
22.06.	Attributierte Grammatiken: Intro, dynamische Auswertung	3-3.1.2
29.06.	Statische Auswertung, Multi-Visit Grammatiken	3.1.3-3.1.6
06.07.	L-Attributierung, Kontrollflussgraph, Symbolische Interpretation	3.1.7-3.2.2.2
13.07.	Datenflussanalyse	3.2.2.3-3.2.6
20.07.	Zwischencodedarstellung, Interpretation	4-4.1
27.07.	Triviale Codegenerierung, partielle Auswertung	4.2-4.2.3.2

Übungsmaterialien

Übungsblätter und Beispielprogramme

Einführende Beispiele: .tgz
blatt1.pdf, Vorgaben: vorgabe_closure.ml, vorgabe_scan.ml
Lösungen: closure.ml (Aufruf: ocaml graphics.cma closure.ml), scan.ml
blatt2.pdf, Vorgabe: parser_vorgabe.ml
Lösung: parser.ml, Tokenzugriff per Seiteneffekt: parserSE.ml
blatt3.pdf, erweiterte Lösung: dottedItems.ml
blatt4.pdf, Lösung mit Array: ParserArr.ml, mit Map: ParserMap.ml
blatt5.pdf
blatt6.pdf
blatt7.pdf, Vorgabe: tinypascal.tgz
blatt8.pdf
blatt9.pdf Lösung: interpreter.tgz
blatt10.pdf, Quelldateien: ex1.pas, ex2.pas, ex3.pas
blatt11.pdf, Lösung: compiler.tgz, zu Vergleichsmessungen: next50primes.ml

(Meta)OCaml System

OCaml ist eine funktionale Programmiersprache mit imperativen und Objekt-orientierten Features, sowie einer Erweiterung für Metaprogrammierung (MetaOCaml). Diese Erweiterung dient uns zur trivialen Codegenerierung, indem eine abgewandelte Form des Interpreters mit dem Quellprogramm spezialisiert wird und das spezialisierte Programm dann mit dem OCaml-Compiler in Bytecode oder Maschinencode übersetzt wird. OCaml/MetaOCaml sind frei verfügbar und auf den Linux-Rechnern im CIP-Pool installiert.

MetaOCaml
Folien zur Metaprogrammierung: PDF
OCaml-Hauptseite
OCaml-Handbuch (lokale Kopie)
OCaml-Lehrbuch
Quelldistribution. Darin sind unter anderem enthalten: die Interpreter ocaml/metaocaml, die Bytecode-Compiler ocamlc/metaocamlc, die Native-Code-Compiler ocamlopt/metaocamlopt sowie der Scannergenerator ocamllex und der Parsergenerator ocamlyacc.

Informationen zu Pascal

Duden Informatik
Pascal ISO-Standard

Literatur

zentrale Referenz für die Vorlesung
D. Grune, H. Bal, C. Jacobs, K. Langendoen: Modern Compiler Design
John Wiley and Sons Ltd., 2000, Signatur: ST 265 G891.
Errata
alte Standardliteratur (Drachenbuch)
Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman:
- englische Originalausgabe: Compilers: Principles, Techniques and Tools, Addison-Wesley 1986, Signatur ST 265 A286 C7
  (Hinweis: es ist seit einiger Zeit ein Nachfolgewerk angekündigt; das wird aber nicht mehr rechtzeitig zur Vorlesung erscheinen)
- deutsche Übersetzung: Compilerbau (2-bändig), Oldenbourg-Verlag 1999 (vorher Addison-Wesley Deutschland 1992, Signaturen ST 265 A286 -1/-2)
Errata zur englischen Ausgabe und deutschen Ausgabe von Addison-Wesley
weitere Literatur, z.B. für die Übungen, im Semesterapparat

Christoph Herrmann
Last modified: Thu Jul 27 09:41:55 CEST 2006

Struktur und Implementierung von Programmiersprachen I (SS 2006)