Fortgeschrittene funktionale Programmierung
LVA 185.A05, VU 2.0, ECTS 3.0, 2017 S

(zweistündige Vorlesung mit Übung; siehe auch TISS/185.A05)

 
 

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

Information on funding opportunities is available here.

 

Course Meetings

Course Pre-Meeting

A specific pre-meeting for the course takes place on Thursday, 2 March 2017, 4 p.m., in the lecture room Seminarraum, Argentinierstraße 8.

Registration

Registration takes place via TISS at TISS/185.A05 on or before Friday, 10 March 2017, 1.00 pm.

Subject and Aim

The course is concerned with advanced concepts and principles of functional programming and their applications, which the participants shall learn and conceive in depth and to use and apply competently and adequately in known as well as in new application scenarios. The lecture part of the course stretches from functional programming principles to quality assurance, advanced languages concepts, and applications. Regularly assigned exercises of the tutorial part of the course give an hands-on experience of applying the concepts and principles to problems of suitable kind, size and complexity to deepen their understanding in theory and practice.

Previous Knowledge

Basic knowledge of the functional programming style as imparted e.g. in the course LVA 185.A03 Funktionale Programmierung is mandatory.

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. Please make an appointment by e-mail or phone.

Course Materials

Documents for the lecture and tutorial part of the course will be provided on time.

 
 
Lecture
 
 
 
Topic
 
 
Slides
 
Hints and remarks
 
Lecture Notes Chap. 1 thru Chap. 18, Bibliography, Appendix pdf
 
Latest update: 06/13/2017.
Pre-Meeting
(03/02/2017)
Motivation,
organizational issues
pdf  
Latest update: 02/28/2017.

 

 
 
Tutorial
 
Due date/2nd due date
 
 
 
Assignments
 
 
Hints and remarks
Tue, 13.06.2017 Tue, 20.06.2017 (12:00) /
Tue, 27.06.2017 (12:00)
Assignment 8
Code fragments for assignment 8 (Final assignment).
Tue, 06.06.2017 Tue, 13.06.2017 (12:00) /
Tue, 20.06.2017 (12:00)
Assignment 7
Slides_170606.pdf
Tue, 16.05.2017 Tue, 23.05.2017 (12:00) /
Tue, 30.05.2017 (12:00)
Assignment 6
None.
Tue, 02.05.2017 Tue, 16.05.2017 (12:00) /
Tue, 23.05.2017 (12:00)
Assignment 5
Initial submission period: two weeks.
Fri, 07.04.2017 Tue, 02.05.2017 (12:00) /
Tue, 09.05.2017 (12:00)
(Easter break)
Assignment 4
None.
Tue, 28.03.2017 Tue, 04.04.2017 (12:00) /
Tue, 25.04.2017 (12:00)
(Easter break)
Assignment 3
None.
Tue, 21.03.2017 Tue, 28.03.2017 (12:00) /
Tue, 04.04.2017 (12:00)
Assignment 2 None.
Tue, 14.03.2017 Tue, 28.03.2017 (12:00) /
Tue, 04.04.2017 (12:00)
Assignment 1 Submitting assignments: home directory of your group account.

Signatures for null and relativenull added (17.03.2017);
Signatures for remaining functions added; submission deadline extended (20.03.2017)

Lecturer

Jens Knoop, Tel.: 58801-18510, E-mail: knoop@complang.tuwien.ac.at
Sprechstunde
wiederholte LVAs:
Fortg. fkt. Programmierung
Analyse u. Verifikation
Sonstige
Schnellzugriff:
TISS
voriges Semester
voriges Jahr
top | HTML 4.01 | Datenschutzerklärung | last update: 2019-06-06 (Knoop)