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

2011S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • 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.

Weitere Informationen

Beginn der Lehrveranstaltung: Dienstag, 8. März 2011, 09:00.

Für jeweils aktuelle Informationen siehe homepage der Lehrveranstaltung!

Vortragende Personen

  • Gramlich, Bernhard

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.09:00 - 11:0001.03.2011 - 30.06.2011EI 1 Petritsch HS GRAMLICH
Di.08:30 - 09:0008.03.2011 - 30.06.2011EI 1 Petritsch HS GRAMLICH
Do.18:00 - 20:0010.03.2011HS 18 Czuber - MB 185.205 Prüfung
Do.18:00 - 20:0017.03.2011HS 18 Czuber - MB 185.205 Prüfung
Di.09:00 - 11:0007.06.2011EI 5 Hochenegg HS 185.205 Prüfung
Semantik von Programmiersprachen - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.01.03.201109:00 - 11:00EI 1 Petritsch HS GRAMLICH
Di.08.03.201108:30 - 09:00EI 1 Petritsch HS GRAMLICH
Di.08.03.201109:00 - 11:00EI 1 Petritsch HS GRAMLICH
Do.10.03.201118:00 - 20:00HS 18 Czuber - MB 185.205 Prüfung
Di.15.03.201108:30 - 09:00EI 1 Petritsch HS GRAMLICH
Di.15.03.201109:00 - 11:00EI 1 Petritsch HS GRAMLICH
Do.17.03.201118:00 - 20:00HS 18 Czuber - MB 185.205 Prüfung
Di.22.03.201108:30 - 09:00EI 1 Petritsch HS GRAMLICH
Di.22.03.201109:00 - 11:00EI 1 Petritsch HS GRAMLICH
Di.29.03.201108:30 - 09:00EI 1 Petritsch HS GRAMLICH
Di.29.03.201109:00 - 11:00EI 1 Petritsch HS GRAMLICH
Di.05.04.201108:30 - 09:00EI 1 Petritsch HS GRAMLICH
Di.05.04.201109:00 - 11:00EI 1 Petritsch HS GRAMLICH
Di.12.04.201108:30 - 09:00EI 1 Petritsch HS GRAMLICH
Di.12.04.201109:00 - 11:00EI 1 Petritsch HS GRAMLICH
Di.19.04.201108:30 - 09:00EI 1 Petritsch HS GRAMLICH
Di.19.04.201109:00 - 11:00EI 1 Petritsch HS GRAMLICH
Di.26.04.201108:30 - 09:00EI 1 Petritsch HS GRAMLICH
Di.26.04.201109:00 - 11:00EI 1 Petritsch HS GRAMLICH
Di.03.05.201108:30 - 09:00EI 1 Petritsch HS GRAMLICH
LVA wird geblockt abgehalten

LVA-Anmeldung

Von Bis Abmeldung bis
16.02.2011 00:00 17.03.2011 23:59 17.03.2011 23:59

Anmeldemodalitäten

Anmeldung via TISS erforderlich

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 Gebundenes Wahlfach
066 938 Technische Informatik Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Es handelt sich um eine fortgeschrittene Lehrveranstaltung zu den theoretischen-logischen Grundlagen von Programmiersprachen. Vorausgesetzt werden grundlegende Kenntnisse verschiedener Programmierparadigmen und -sprachen sowie Grundkenntnisse in Logik und Formalen Methoden, entsprechend den Lehrveranstaltungen "Theoretische Informatik und Logik" sowie "Formale Methoden der Informatik". Für Details zur Überprüfung der Voraussetzungen sei auf die homepage der Lehrveranstaltung verwiesen. 

Vorausgehende Lehrveranstaltungen

Weitere Informationen

Sprache

Englisch