Javascript jest obecnie wyjątkowo popularnym językiem programowania. Jest wykorzystywany w bardzo wielu zastosowaniach: oprócz skryptów na stronach internetowych i aplikacji webowych stosuje się go do m.in. programowania usług sieciowych, zarządzania bazami danych, programowania aplikacji mobilnych, systemów wbudowanych. Coraz bardziej istotna staje się kwestia poprawności programów napisanych w Javascripcie, ponieważ powierza się im coraz częściej informacje poufne - np. bankowe, urzędowe, medyczne. Niestety, Javascript ze względu na swą naturę (brak typów, skomplikowana semantyka) sprzyja powstawaniu błędnych programów.
Celem
seminarium jest zapoznanie się z formalnymi semantykami, systemami
typów i analizami statycznymi opracowanymi dla języka Javascript.
- Nauczyciel: Marek Materzok