185.A56 Semantik von Programmiersprachen
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2012S, VU, 3.0h, 4.5EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 3.0
  • ECTS: 4.5
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Vermittlung grundlegender Formalismen und Definitionsmethoden zur semantischen Beschreibung und Charakterisierung von Programmiersprachen und programmiersprachlichen Konstrukten. Erarbeitung methodischer Kriterien fuer Analyse, Entwurf und Vergleich von Programmiersprachen.

Inhalt der Lehrveranstaltung

Grundlegende semantische Beschreibungsmethoden und Definitionsformalismen: Operationale, denotationale und axiomatische   Semantik imperativer Programmierkonstrukte; Bezüge zur Programmverifikation; universelle Algebra, gleichungsbasierte Spezifikation, Programmierung und Semantik; induktive und rekursive Definitionen; Fixpunkt-Operatoren und -Konstruktion; Vertiefung ausgewählter Themen wie Nichtdeterminismus, Parallelität und Nebenläufigkeit.

Vortragende Personen

  • Gramlich, Bernhard

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.16:00 - 20:0016.04.2012Hörsaal 14 185.A56: Semantik von Programmiersprachen
Do.17:00 - 20:0019.04.2012FH Hörsaal 4 185.A56: Semantik von Programmiersprachen
Mo.16:00 - 20:0023.04.2012Hörsaal 14 185.A56: Semantik von Programmiersprachen
Do.17:00 - 20:0026.04.2012FH Hörsaal 4 185.A56: Semantik von Programmiersprachen
Mo.16:00 - 20:0030.04.2012Hörsaal 14 185.A56: Semantik von Programmiersprachen
Do.17:00 - 20:0003.05.2012FH Hörsaal 4 185.A56: Semantik von Programmiersprachen
Mo.16:00 - 20:0007.05.2012Hörsaal 14 185.A56: Semantik von Programmiersprachen
Do.17:00 - 20:0010.05.2012FH Hörsaal 4 185.A56: Semantik von Programmiersprachen
Mo.16:00 - 20:0014.05.2012Hörsaal 14 185.A56: Semantik von Programmiersprachen
Do.17:00 - 20:0017.05.2012FH Hörsaal 4 185.A56: Semantik von Programmiersprachen
Mo.16:00 - 20:0021.05.2012Hörsaal 14 185.A56: Semantik von Programmiersprachen
Do.17:00 - 20:0024.05.2012FH Hörsaal 4 185.A56: Semantik von Programmiersprachen
LVA wird geblockt abgehalten

LVA-Anmeldung

Von Bis Abmeldung bis
04.03.2012 00:00 22.04.2012 23:59 22.04.2012 23:59

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 931 Computational Intelligence Gebundenes Wahlfach
066 937 Software Engineering & Internet Computing Keine Angabe
066 938 Technische Informatik Pflichtfach2. Semester

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Weitere Informationen

Sprache

bei Bedarf in Englisch