Fortgeschrittene funktionale Programmierung
LVA 185.210, VL 2.0, ECTS 3.0, 2011 SS
MCI/W, MSE/W

(zweistündige Vorlesung mit Laborübung; siehe auch TISS/185.210)

 
 

Are you interested in studying abroad and getting funding for this?

Information on funding opportunities is available here.

 

Course Meetings

Joint Course Pre-Meeting

The joint pre-meeting for all courses of the Compilers and Languages group takes place on Wednesday, 2 March 2011, 1 p.m. - 2 p.m., in the lecture room EI4, 2nd floor, Gußhausstr. 25-29.

Registration is Open!

The electronic course management system for registration is open until 18 March 2011.

Topics and Goals

The course is concerned with advanced techniques and applications of functional programming, which the participants shall learn to use and apply meaningfully. A perfect add-on this term...

Prerequisites

Basic knowledge of the functional programming style as imparted e.g. in the course LVA 185.161 Funktionale Programmierung is presumed.

Creditable for

The course on "Advanced Functional Programming" counts towards the following master programs:

Course Pre-Meeting and Registration

The pre-meeting for the course and the first lecture in the summer term 2011 take place on Thursday, 3 March 2011, from 4:15 p.m. to 5:45 p.m. in the lecture room on the ground floor of the Institutsgebäude, Argentinierstr. 8.

The course is held as so-called block course. The number of participants will be limited. It is necessary to register for the course using the electronic course management system at here. Registration is possible until 18 March 2011. Additional information will be provided in the pre-meeting of the course on 3 March 2011.

Course Materials

In the course of the lecture slides of the lectures and assignments will be available on this webpage.

Lecture
 
Slides from
Topic Slides Hints and remarks
30.06.2011
Lecture 9
Entfällt!
16.06.2011
Lecture 8
Parallelism,
The Story of Haskell
.pdf
.pdf.gz
None.
26.05.2011
Lecture 7
Pretty Printer .pdf
.pdf.gz
None.
19.05.2011
Lecture 6
Parsing .pdf
.pdf.gz
None.
14.04.&12.05.2011
Lecture 5
Logical
programming
functionally
.pdf
.pdf.gz
 
None.
07.04.2011
Lecture 4
Testing of programs
(specification-
based, tool-
supported,
automatically
.pdf
.pdf.gz
None.
24.03.2011
Lecture 3
Correctness issues,
mathematical background
.pdf
.pdf.gz
None.
17.03.2011
Lecture 2
Programming with
Streams
.pdf
.pdf.gz
None.
03.03.2011
Lecture 1
"Why Functional Programming Matters":
A classical position statement by John Hughes.
.pdf
.pdf.gz
 
None.
03.03.2011
Pre-Meeting
Motivation and
organizational issues
pdf
pdf.gz
 
None.
03.03.2011
Joint Courses Pre-Meeting
Motivation pdf
pdf.gz  
None.

Assignment
 
Issued on
Due date/2nd due date Available formats Hints and remarks
24.05.2011 07.06.2011 (12:00) /
14.06.2011 (12:00)
Assignment 5.pdf
Assignment 5.pdf.gz
None.
17.05.2011 24.05.2011 (12:00) /
31.05.2011 (12:00)
Assignment 4.pdf
Assignment 4.pdf.gz
Code.
21.04.2011 10.05.2011 (12:00) /
17.05.2011 (12:00)
Assignment 3.pdf
Assignment 3.pdf.gz
None.
05.04.2011 12.04.2011 (12:00) /
10.05.2011 (12:00) (extended!) (12:00)
Assignment 2.pdf
Assignment 2.pdf.gz
None.
19.03.2011 29.03.2011 (12:00) /
12.04.2011 (12:00) (extended!)
Assignment 1.pdf
Assignment 1.pdf.gz
None.

Examination and Final Grade

The final grade is composed of the grades of the weekly assignments (50%) and the grade of the final oral examination (50%). The final oral examinations will be by appointment, essentially any time. Please make an appointment by e-mail or phone.

Lecturer

Jens Knoop, Tel.: 58801-18510, E-mail: knoop@complang.tuwien.ac.at
Sprechstunde
wiederholte LVAs:
Fortg. fkt. Programmierung
Analyse u. Verifikation
Seminar aus Prog.sprachen
Grundl. meth. Arbeitens
Sonstige
Schnellzugriff:
TISS
voriges Semester
voriges Jahr
top | HTML 4.01 | last update: 2014-05-04 (Knoop)