Programmierparadigmen #
Auch diese Seite ist an eine Vorlesung der Universität
angelehnt. In dieser Vorlesung geht es um die Verschiedenen Konzepte der Programmiersprachen. Die Programmiersprachen die in der Vorlesung besprochen wurden, sind Prolog, Ruby und Haskell. Zu den einzelnen Programmiersprachen wird im laufe der Näher eingegangen. Weitere Thema der Veranstalltung sind Grammatiken und EBNF.
Syntax und Semantik #
Grammatiken #
BNF #
EBNF #
Syntaxdiagramme #
Axiomatische Semantik #
Variablen, Bindung, Typisierung #
Variablen und Parameter #
Sichtbarkeit #
Typsysteme: einfache und zusammengesetzte Datentypen #
statische und dynamische Typbindung #
Ausdrücke, Befehle, Kontrollstrukturen #
Ausdrücke (expressions) #
x + y
Befehle (statements) #
x := x + y # Zuweisung (assignment-statement)