Subject: Subject Sylbus: Distributed Functional Programming - 046273 (Current)

Distributed Functional Programming - 046273
Credit
Points
3.0
Given In
Semester
b
Lecture Exercise Laboratory Project or
Seminar
House
Work
Weekly
Hours
2 1 8

Determination of the grade according to progress during the semester and a final examination.


Prerequisites: Introduction to Systems Programming 234122
or ( Introduction to Software Systems 044101
Linked Courses: Structure of Operating Systems 046209
Operating Systems 234123


Topics: the Fundamentals of Functional Programming and Basic Techniques in Distributed Computing. Erlang - a Functional Programming Language with Built- in Support for Distributed System Programming. Principles of Functional Programming and Lambda Calculus- Function, Recursion, Lazy Evaluation. Dynamic Types. Csp Model for Distributed Programs. Reasoning About Program Correctness. Client-Server Model. Saving Persistent Data. Fault-Tolerance and Replication Techniques. Additional Models for Concurrent and Distributed Programming: Map- Reduce, Mpi Interface for Message Passing and Barrier Synchronization, Streaming Computations.




Times and places of examinations 02/2017 2017-2018 Spring Semester
examination timedaydateSeason
Wednesday04.07.2018
Sunday14.10.2018

Timetable to semester 02/2017 2017-2018 Spring Semester
RoomBuildingHourdayLecturerExercise
Lecture
no.Registering
Group
15:30-17:30TuesdayMr. Gazit HovavLecture1011
17:30-18:30TuesdayExercise11


Textbooks
PublishedPublisherAuthorsBook
2007pragmatic bookshelfj. armstrongprogramming erlang: software for a concurrent world

Created in 21/01/2018 Time 20:12:40