Semantik Von Programmiersprachen

Eine Programmiersprache ist eine formalisierte Sprache, in der Algorithmen zur Ausfuhrung auf einem Computer beschrieben werden. An Stelle von Algorithmen spricht man bei Programmiersprachen auch von Programmen. Die vorliegende Ausarbeitung einer Vorlesung uber die Semantik von Programmiersprachen will dem Leser die in der theoretischen Informatik zur Zeit bedeutendesten Methoden zur Formalisierung der Semantik der Kontrollstrukturen einer Programmiersprache vermitteln, wobei sich auf sogenannte sequentielle Sprachen beschrankt wird, also keine parallelen oder verteilte Ablaufe betrachtet werden. Die Vermittlung von Methoden beinhaltet auch die dazu notwendigen Grundlagen und bezieht sich somit konsequenterweise auch auf den mathematischen Hintergrund. Bei der Darstellung dieses Stoffs wird versucht, die Gegenstande, etwa die Programmiersprachen bei den verschiedenen Semantikfestlegungen, so einfach wie moglich zu halten, damit die verwendeten Methoden und die Zusammenhange nicht durch ubermassigen technischen Aufwand verdeckt werden. Auch auf eine ausfuhrliche Beweisfuhrung wird grosser Wert gelegt. Und schliesslich soll als Anwendung von Semantik noch gezeigt werden, wie wissenschaftliche Methoden zur Programmentwicklung sich auf diese semantischen Grundlagen stutzen konnen.