Studies

193
Compulsory

When a course instance has been created from a template, the course instance will be in this state

  • Data is usually still incomplete and everything can still be edited.
  • Lecturers or secretaries can move the state forward to Edited.

Inhalt:

Diese Vorlesung vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen.

Wir werden verschiedene Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellen und im Detail beleuchten. Dabei wird auch auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen.

Website

http://www.inf.fu-berlin.de/lehre/SS17/Semantik/index.html

Contents:

This class presents techniques for a formal treatment of the semantics (meaning) of a programming language.

We will see different approaches to formally defining the semantics of a language (operational, denotational, and axiometic). We will also discuss applications of these techniques, particularly in compiler construction and in functional programming languages.

Cross-language

193 040
Compulsory

Expectant Mother

Not dangerous
Partly dangerous
Alternative Course
Dangerous
Show questionnaire

Nursing Mother

Not dangerous
Partly dangerous
Alternative Course
Dangerous
Show questionnaire

AncillaryCourses

Übung zu Semantik von Programmiersprachen

Expectant Mother

Not dangerous
Partly dangerous
Alternative Course
Dangerous
Show questionnaire

Nursing Mother

Not dangerous
Partly dangerous
Alternative Course
Dangerous
Show questionnaire