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

• Thursday, June 10, 2010, 1.00 p.m. - 2.30 p.m., Library E185.1, Argentinierstr. 8, 4th Floor. (Final lecture)

  Invitation!
  Subsequently, opportunity for attending the epilog.

• Opportunity!
  HaL5 : Haskell - Tutorial + Workshop + Party
  Leipziger Mediencampus, Leipzig, Germany, 4 June 2010.
  (Registration fee: 20 EUR (including Barbecue-Party)).
• Thursday, June 3, 2010: No lecture (public holiday)
• Thursday, May 27, 2010: No lecture
• Thursday, May 20, 2010, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
• Invitation!
  Tuesday, May 18, 2010: E185.1-Colloquium on "Automatic Verification of Concurrent Programs in Chalice" by Prof. Müller, ETH Zurich, Switzerland.
• Thursday, May 13, 2010: No lecture (public holiday)
• Thursday, May 6, 2010, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
• Thursday, April 29, 2010, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
• Thursday, April 22, 2010, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
• Thursday, April 15, 2010, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
• Thursday, March 18, 2010, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
• Thursday, March 11, 2010, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.
• Thursday, March 4, 2010, 4.15 p.m. - 5.45 p.m., lecture room on the ground floor of the building Argentinierstr. 8.

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.0h 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 will be 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 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