Fortgeschrittene funktionale Programmierung
LVA 185.210, VL 2.0, ECTS 3.0, 2010 SS

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

 
 

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

Information on funding opportunities is available here.

 

Next Course Meetings

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 2010 take place on Thursday, 4 March 2010, 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 will be 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 available here. Registration is possible until 19 March 2010. Additional information will be provided in the pre-meeting of the course on 4 March 2010.

Time and Place

The course is held in the block-fashion (i.e., not necessarily each week). Course meetings will usually be held on Thursday from 4:15 p.m. to 5:45 p.m. in the lecture room located on the ground floor of the building at Argentinierstr. 8, 1040 Vienna. To compensate e.g. for public holidays, course meetings will occasionally be also held on Friday from 4:15 p.m. to 5:45 p.m (tentatively) in the lecture hall EI 3a located in the building at Gußhausstr. 25-29, 1040 Vienna. The fixed date of each course meeting will be announced on the top of this webpage.

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
10.06.2010
Lecture 9
Financial Contracts Siehe ausgeteilten Umdruck (Chapter 6, The Fun of Programming, Palgrave, 2003) .pdf
.pdf.gz
Lecture time: 1.00 pm - 2.30 pm, Library E185.1, Argentinierstr. 8, 4th Floor.
20.05.2010
Lecture 8
Type Inference,
Parallelism,
The Story of Haskell
.pdf
.pdf.gz
Invitation to a Talk by Prof. Peter Müller on Automatic Verification of Concurrent Programs in Chalice, Tue, 18 May 2010, 3:15 p.m.
06.05.2010
Lecture 7
Pretty Printer .pdf
.pdf.gz
Opportunity!
HaL5 : Haskell - Tutorial + Workshop + Party
Leipziger Mediencampus, Leipzig, Germany, Germany, 4 June 2010. (Registration fee: 20 EUR (including Barbecue-Party)).
29.04.2010
Lecture 6
Parsing .pdf
.pdf.gz
None.
22.04.2010
Lecture 5
Logical
programming
functionally
.pdf
.pdf.gz
 
None.
18.03./15.04.2010
Lecture 4
Testing of programs
(specification-
based, tool-
supported,
automatically
.pdf
.pdf.gz
Slides updated on April 15, 2010.

Invitation to Course From Domains to Requirements by Prof. Dines Bjørner, ACM Fellow, IEEE Fellow.

11./18.03.2010
Lecture 3
Correctness issues,
mathematical background
.pdf
.pdf.gz
We continue with "Functions on CPOs" on March 18, 2010.
11.03.2010
Lecture 2
Programming with
Streams
.pdf
.pdf.gz
None.
04.03.2010
Lecture 1
"Why Functional Programming Matters":
A classical position statement by John Hughes.
.pdf
.pdf.gz
 
None.
04.03.2010
Pre-Meeting
Motivation and
organizational issues
pdf
pdf.gz
 
None.
03.03.2010
Joint Courses Pre-Meeting
Motivation pdf
pdf.gz  
None.

Assignment
 
Issued on
Due date/2nd due date Available formats Hints and remarks
18.05.2010 01.06.2010 (12:00) /
08.06.2010 (20:00)
Assignment 6.pdf
Assignment 6.pdf.gz
Extended submission deadline because of public holiday on 25 May 2010. (Final assignment)
11.05.2010 18.05.2010 (12:00) /
25.05.2010 (12:00)
Assignment 5.pdf
Assignment 5.pdf.gz
None.
27.04.2010 04.05.2010 (12:00) /
11.05.2010 (12:00)
Assignment 4.pdf
Assignment 4.pdf.gz
Code.
21.04.2010 27.04.2010 (12:00) /
04.05.2010 (12:00)
Assignment 3.pdf
Assignment 3.pdf.gz
None.
21.03.2010 20.04.2010 (12:00) /
27.04.2010 (12:00)
Assignment 2.pdf
Assignment 2.pdf.gz
None.
21.03.2010 13.04.2010 (12:00) /
20.04.2010 (12:00)
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:
TUWIS++
voriges Semester
voriges Jahr
top | HTML 4.01 | last update: 2014-05-04 (Knoop)