Themen

• Methoden zur Beschreibung der
  • Syntax: reguläre Ausdrücke, kontextfreie Grammatiken
  • Semantik: operational, denotational, axiomatisch
• Konzepte:
  • Typen,
  • Ausdrücke und Anweisungen (Wert und Wirkung),
  • Unterprogramme (als Daten)
  • Polymorphie (ad-hoc, Vererbung, Typparameter)
• Paradigmen:

  funktional, objektorientert, nebenläufig/parallel