Spis referatow na seminarium "Semantyka i specyfikacja"

semestr I roku 98/99

Kilka najblizszych tygodni poswieconych bedzie prezentacjom przykladowych specyfikacji typowych struktur danych:

14.10.1998: Bool, int, nat, ... (Mikolaj Konarski)
21.10.1998: Zbiory, multizbiory (Bartosz Klin)
28.10.1998: Listy (Maja Krolikowska)
4.11.1998: Grafy (Grzegorz Jakacki)
18.11.1998: Kolejki (Jolanta Antoszewska)
25.11.1998: Slowniki (Kinga Izdebska)
2.12.1998: Drzewa (Piotr Hoffman)

a nastepnie przez pewien czas bedziemy omawiac jezyk specyfikacji CASL, tworzony w ramach projektu CoFI (Common Framework Initiative):
9.12.98: Specyfikacje podstawowe (Grzegorz Jakacki)
16.12.98: Podrodzaje (Maja Krolikowska)
6.01.98: Typy danych + osiagalnosc (ang. generation constraints) (Kinga Izdebska)
13.01.99:
20.01.99: Specyfikacje architekturalne (Piotr Hoffman)

17.02.99: Biblioteki (Mikolaj Konarski)

w trakcie kolejnych kilku spotkan bedziemy jeszcze raz prezentowac przykladowe specyfikacje, tym razem zapisane w jezyku CASL
24.02.99: Bool, int, nat, ... (Mikolaj Konarski)
3.03.99:
- Czego nie wiemy o jezyku CASL -- odpowiedzi na pytania, wyjasnienie watpliwosci (Andrzej Tarlecki)
- Specyfikacje architekturalne (Andrzej Tarlecki)
10.03.99: Specyfikacje architekturalne c.d. (Andrzej Tarlecki)
17.03.99:
- Zbiory, multizbiory (Bartosz Klin)
- Listy (Maja Krolikowska)
24.03.99: Grafy (Grzegorz Jakacki)
31.03.99: Drzewa (Piotr Hoffman)
14.04.99: seminarium odwolane
21.04.99: seminarium odwolane
28.04.99: Strukturalizacja semantyki denotacyjnej za pomoca monad (praca magisterska) (Grzegorz Jakacki)
5.05.99: praca magisterska (Maja Krolikowska)
12.05.99: Wstęp do teorii instytucji (Piotr Hoffman)
19.05.99: Wstęp do teorii instytucji (c.d.) (Bartosz Klin)