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

Thursday, June 30, 2011: Entfällt!
Thursday, June 16, 2011, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, June 9, 2011: No lecture in favour of epilog.
Invitation!
Friday, May 27, 2011: E185.1-Lectures on "'Optimal' Spilling using Integer Linear Programming" by Dr. Florian Brandner, INRIA, ENS Lyon, France.
Thursday, May 26, 2011: 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Invitation!
Wednesday thru Friday, May 25-27, 2011: E185.1-Lectures on "Pitfalls in System Performance Analysis" by Ass.Prof. Matthias Hauswirth, University of Lugano, Switzerland.
Invitation!
Wednesday, May 25, 2011: E185.1-Lectures on "Software: Design and Performance" by Ass.Prof. Matthias Hauswirth, University of Lugano, Switzerland.
Thursday, May 19, 2011: 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, May 12, 2011: 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, April 14, 2011: 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, April 7, 2011: 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, March 24, 2011: 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, March 17, 2011, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
Thursday, March 3, 2011, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8: Pre-Meeting and first lecture.

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.

Slides (pdf)

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...

Attending also the Course
Haskell-Praxis: Programmieren mit der Funktionalen Programmiersprache Haskell (127.008 VU 2.0 ECTS 3.0)
(Tue, 3 p.m. to 4:30 p.m., Seminar room 123, 3rd floor, Gußhausstr. 25-29, 1040 Vienna)
Prof. Dr. Andreas Frank
Institut für Geoinformation und Kartographie
(The course is held in English)

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:

As elective course (Wahlfach) within the Master program 066 937 "Software Engineering/Internet Computing" (3.0 ECTS)
As elective course (Wahlfach) within the Master program 066 931 "Computational Intelligence" (3.0 ECTS)
As examination course (Prüfungsfach) within the Erasmus-Mundus Master program 066 011 "DDP Computational Logic (Erasmus-Mundus)" (3.0 ECTS)

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