HAHA: Hoare Advanced Homework Assistant

Prelegent(ci)

Tadeusz Sznuk

Afiliacja

Uniwersytet Warszawski

Termin

10 października 2011 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Zamierzam opowiedzieć o koncepcji narzędzia, które ma służyć do wbijania
młodym ludziom do głów podstaw logiki Hoare'a. Spróbuję pokazać podstawy
Eclipsowych technologii, których zamierzam użyć. Głównym celem jest
zebranie uwag i pomysłów, w szczególności od osób, które przeżyły
kontakt ze studentami. Oprócz tego trzeba ustalić, kto mógłby jakieś
fragmenty tego narzędzia pisać oraz kto i kiedy mógłby z niego (tz. z
narzędzia) skorzystać.

---