Wstep do semantyki jezykow programowania     Program wykladu  
 
 

• Semantyka operacyjna:  Semantyka prostego imperatywnego jezyka programowania, systemy tranzycyjne, dowodzenie wlasnosci programow, techniki dowodowe w tym modelu semantyki.
  
  
• Semantyka denotacyjna:  Semantyka prostego imperatywnego jezyka programowania, twierdzenie o punkcie stalym, rownowaznosc semantyk operacyjnej i denotacyjnej.
  
  
• Semantyka aksjomatyczna: Asercje czesciowej poprawnosci, logika Hoare'a i dowodzenie czesciowej poprawnosci programow, poprawnosc i zupelnosc logiki Hoare'a.
  
  
• Wstep do teorii dziedzin:  Zupelne czesciowe porzadki, topologia Scotta, operacje na dziedzinach.
  
  
• Semantyka jezykow funcjonalnych:  Semantyki typu call-by-value i call-by-name,  indukcja stalopunktowa, systemy typow.