HAHA: Hoare Advanced Homework Assistant

Speaker(s)

Tadeusz Sznuk

Affiliation

Uniwersytet Warszawski

Date

Oct. 10, 2011, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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ć.

---