Funkcyjne programowanie sieciowe 1000-2M24FPS
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
Kierunek podstawowy MISMaP
Założenia (lista przedmiotów)
Koordynatorzy przedmiotu
Kryteria oceniania
Na podstawie projektu polegającego na implementacji małego protokołu sieciowego w języku funkcyjnym z elementami weryfikacji poprawności pisanego kodu. 100%
Literatura
* 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/
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: