(in Polish) Funkcyjne programowanie sieciowe
General data
Course ID: | 1000-2M24FPS |
Erasmus code / ISCED: | (unknown) / (unknown) |
Course title: | (unknown) |
Name in Polish: | Funkcyjne programowanie sieciowe |
Organizational unit: | Faculty of Mathematics, Informatics, and Mechanics |
Course groups: |
Elective courses (tools for programming) for Computer Science Elective courses for Computer Science |
ECTS credit allocation (and other scores): |
4.00
|
Language: | (unknown) |
Prerequisites: | Computer networks 1000-214bSIK |
Short description: |
(in Polish) Przedmiot ma na celu przedstawienie zaawansowanych mechanizmów programowania funkcyjnego z typami zależnymi na przykładzie tworzenia klienta i serwera protokołu sieciowego. Na zajęciach wykorzystywane będzie programowanie funkcyjne w Ocamlu wzbogacone o elementy weryfikacji funkcyjnych własności wykonywane w Coq-u. |
Full description: |
(in Polish) 1. Podstawy programowania w OCaml-u i Coq-u 2. Typy algebraiczne i zależne 3. Podstawy dowodzenia własności wynikających z typów zależnych 4. Ekstrakcja kodu z efektywnymi typami 5. Pętla komunikacji sieciowej w programach funkcyjnych 6. Parsowanie pakietów binarnych w językach funkcyjnych 7. Logika implementacji protokołu 8. Dowodzenie własności implementacji |
Bibliography: |
(in Polish) * Dokumentacja języka programowania Ocaml, https://ocaml.org/docs * Dokumentacja systemu dowodzenia twierdzeń Coq, https://coq.inria.fr/ * Adam Chlipala, Certified Programming with Dependent Types, http://adam.chlipala.net/cpdt/ |
Assessment methods and assessment criteria: |
(in Polish) Na podstawie projektu polegającego na implementacji małego protokołu sieciowego w języku funkcyjnym z elementami weryfikacji poprawności pisanego kodu. 100% |
Classes in period "Summer semester 2024/25" (future)
Time span: | 2025-02-17 - 2025-06-08 |
Navigate to timetable
MO TU W TH FR |
Type of class: |
Lab, 30 hours
|
|
Coordinators: | Aleksy Schubert | |
Group instructors: | Aleksy Schubert | |
Students list: | (inaccessible to you) | |
Examination: | Grading |
Copyright by University of Warsaw.