Pok-1-wyk-Slajd35

12. Analiza zależności kontekstowych

Po zakończeniu fazy analizy składniowej kompilator rozpoczyna fazę analizy semantycznej. W ramach wykładu poświęconego analizie semantycznej omówione zostaną różne typy zależności kontekstowych ze szczególnym naciskiem na kontrolę typów. Wykład obejmuje następujące zagadnienia:

• czym są zależności kontekstowe
• przykłady tych zależności, które mogą być sprawdzane statycznie (w trakcie kompilacji programu) i tych, które muszą być sprawdzane dynamicznie (w trakcie wykonywania programu)
• systemy typów
• wyrażenia określające typ
• pojęcie równoważności typów i jej sprawdzanie

<< Poprzedni slajd | Spis treści | Następny slajd >>