185.205 Semantics of Programming Languages
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2011S, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

Semester hours: 2.0
Credits: 3.0
Type: VU Lecture and Exercise

Aim of course

Acquisition of basic knowledge (foundational formalisms and definition methods) for the semantic description and characterization of programming languages and programming constructs. Learning of methodological criteria for the analysis, design and comparison of programming languages.

Subject of course

Foundational semantic description methods and formalisms: Operational, denotational and axiomatic semantics of imperative program constructs; relations to program verification; equational specification, programming and semantics; inductive and recursive definitions; fixed point operators and constructions; plus selected topics like non-determinsim, parallelism, and concurrency.

Additional information

First class: Tuesday, March 8, 2011, 09:00.

For up-to-date information we refer to the homepage of the course!

Lecturers

Gramlich, Bernhard

Institute

E185 Institute of Computer Languages

Course dates

Day	Time	Date	Location	Description
Tue	09:00 - 11:00	01.03.2011 - 30.06.2011	EI 1 Petritsch HS	GRAMLICH
Tue	08:30 - 09:00	08.03.2011 - 30.06.2011	EI 1 Petritsch HS	GRAMLICH
Thu	18:00 - 20:00	10.03.2011	HS 18 Czuber - MB	185.205 Prüfung
Thu	18:00 - 20:00	17.03.2011	HS 18 Czuber - MB	185.205 Prüfung
Tue	09:00 - 11:00	07.06.2011	EI 5 Hochenegg HS	185.205 Prüfung

Show single appointments

Semantics of Programming Languages - Single appointments

Day	Date	Time	Location	Description
Tue	01.03.2011	09:00 - 11:00	EI 1 Petritsch HS	GRAMLICH
Tue	08.03.2011	08:30 - 09:00	EI 1 Petritsch HS	GRAMLICH
Tue	08.03.2011	09:00 - 11:00	EI 1 Petritsch HS	GRAMLICH
Thu	10.03.2011	18:00 - 20:00	HS 18 Czuber - MB	185.205 Prüfung
Tue	15.03.2011	08:30 - 09:00	EI 1 Petritsch HS	GRAMLICH
Tue	15.03.2011	09:00 - 11:00	EI 1 Petritsch HS	GRAMLICH
Thu	17.03.2011	18:00 - 20:00	HS 18 Czuber - MB	185.205 Prüfung
Tue	22.03.2011	08:30 - 09:00	EI 1 Petritsch HS	GRAMLICH
Tue	22.03.2011	09:00 - 11:00	EI 1 Petritsch HS	GRAMLICH
Tue	29.03.2011	08:30 - 09:00	EI 1 Petritsch HS	GRAMLICH
Tue	29.03.2011	09:00 - 11:00	EI 1 Petritsch HS	GRAMLICH
Tue	05.04.2011	08:30 - 09:00	EI 1 Petritsch HS	GRAMLICH
Tue	05.04.2011	09:00 - 11:00	EI 1 Petritsch HS	GRAMLICH
Tue	12.04.2011	08:30 - 09:00	EI 1 Petritsch HS	GRAMLICH
Tue	12.04.2011	09:00 - 11:00	EI 1 Petritsch HS	GRAMLICH
Tue	19.04.2011	08:30 - 09:00	EI 1 Petritsch HS	GRAMLICH
Tue	19.04.2011	09:00 - 11:00	EI 1 Petritsch HS	GRAMLICH
Tue	26.04.2011	08:30 - 09:00	EI 1 Petritsch HS	GRAMLICH
Tue	26.04.2011	09:00 - 11:00	EI 1 Petritsch HS	GRAMLICH
Tue	03.05.2011	08:30 - 09:00	EI 1 Petritsch HS	GRAMLICH

Course is held blocked

Course registration

Begin	End	Deregistration end
16.02.2011 00:00	17.03.2011 23:59	17.03.2011 23:59

Registration modalities

Registration via TISS is required

Curricula

Study Code	Obligation	Semester	Precon.	Info
066 011 Double degree programme "Computational Logic (Erasmus-Mundus)"	Not specified
066 931 Computational Intelligence	Mandatory elective
066 937 Software Engineering & Internet Computing	Mandatory elective
066 938 Computer Engineering	Mandatory elective

Literature

No lecture notes are available.

Previous knowledge

This is an advanced course on the theoretical-logical foundations of programming languages. Basic knowledge of different programming paradigms and languages as well as foundational knowledge in logic and formal methods are required, corresponding to the prior courses "Theoretische Informatik und Logik" as well as "Formale Methoden der informatik". For details about how this required knowledge is checked we refer to the homepage of the course.