Dziedzina abstrakcyjna opisująca mnożenie zmiennych

Speaker(s)

Krzysztof Jakubczyk

Affiliation

Uniwersytet Warszawski

Date

Nov. 22, 2010, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

Opowiem o pracy nad nową abstrakcyjną dziedziną numeryczną pozwalającą obsłużyć mnożenie zmiennych - będą to nierówności postaci xy <= c lub xy >=c, gdzie c może być liczbą ujemną lub dodatnią. Zaprezentuję bardziej szczegółowo podstawową wersję dziedziny oraz opowiem o trudnościach powstających przy próbie obsłużenia trudniejszych przypadków (łączenie różnych wersji nierówności oraz znaku c).

---