Pok-12-wyk-toc

Spis treści

1. Analiza zależności kontekstowych
2. Plan wykładu
3. Czym są zależności kontekstowe ?
4. Kontrola statyczna – zgodność typów
5. Kontrola statyczna – przepływ sterowania
6. Kontrola statyczna – unikalność deklaracji
7. Kontrola statyczna – powtórzenia nazw
8. Kontrola statyczna – przykład
9. Kontrola dynamiczna
10. Systemy typów
11. Systemy typów(1)
12. Wyrażenia określające typy - typu podstawowe
13. Wyrażenia określające typy – typy specjalne
14. Wyrażenia określające typy - nazwy typów
15. Wyrażenia określające typy – konstruktor typów
16. Wyrażenia określające typy – typ tablicowy
17. Wyrażenia określające typy – produkcje
18. Wyrażenia określające typy – typ rekordowy
19. Wyrażenia określające typy – typ wskaźnikowy
20. Wyrażenia określające typy – funkcje
21. Kontroler typów – język
22. Kontroler typów - tablica symboli
23. Kontroler typów - tablica symboli(1)
24. Kontroler typów – deklaracje
25. Kontroler typów – typy
26. Kontroler typów - wyrażenia: literał, liczba, ?
27. Kontroler typów - wyrażenia: operatory
28. Kontroler typów - wyrażenia: tablice
29. Kontroler typów - wyrażenia: wskaźniki
30. Kontroler typów - instrukcje: instrukcja warunkowa
31. Kontroler typów - instrukcje: instrukcja pętli
32. Kontroler typów - instrukcje: instrukcja przypisania
33. Rodzaje równoważności typów
34. Równoważność strukturalna
35. Dalsza lektura