Kapitel 1 Einf"uhrung

1.1 Was ist Semantik W"ahrend die Syntax einer Sprache die Gestalt korrekt geformter S"atze der Sprache beschreibt, legt die Semantik der Sprache die Bedeutung der syntaktisch korrekten S"atze fest.

In Bezug auf Programme spezifiziert die Semantik eines Programms, was bei Ausf"uhrung des Programms passieren soll.

1.2 Wozu verwendet man Semantik Kenntnisse von der Semantik eines Programms sind n"utzlich f"ur

ffl Softwareentwicklung

- Gliederung in Teilaufgaben - Schnittstellendefinition - Argumentieren "uber Programme - Fehlersuche - Korrektheitsbeweise

ffl Konstruktion von "Ubersetzern

- Korrektheit ( "Ubereinstimmung von Quell- und Zielprogramm ) - Optimierung (" "Aquivalenz" von Originalprogramm und verbessertem Programm) - Programmanalyse

ffl Programmiersprachen

- neue Konzepte - Orthogonalit"at

1

KAPITEL 1. EINF "UHRUNG 2 Ans"atze:

ffl Compiler und Rechner

Nachteile: Compiler und Rechner sind nur partiell bekannt und k"onnen fehlerhaft sein.

ffl Mathematische Konzepte

Vorteil: Abstraktion von Nebens"achlichkeiten, M"oglichkeit formaler Beweise Nachteil: der mathematische Formalismus ben"otigt ebenfalls eine "Semantik".Kapitel 2

Operationelle Semantik

2.1 Ausdr"ucke Beispiele f"ur Ausdr"ucke:

Basisausdr"ucke: