Konzepte von Programmiersprachen
- Semantik von einfachen (arithmetischen) Ausdrücken
- lokale Namen,
•
mathend000# Unterprogramme (Lambda-Kalkül)
- Zustandsänderungen (imperative Prog.)
- Continuations zur Ablaufsteuerung
realisieren durch
- Interpretation, •
mathend000# Kompilation
Hilfsmittel:
- Theorie: Inferenzsysteme (f. Auswertung, Typisierung)
- Praxis: Haskell, Monaden (f. Auswertung, Parser)
Johannes Waldmann
2014-03-31
