Abstrakcyjna interpretacja nad dziedziną Weighted Hexagons

Prelegent(ci)

Jędrzej Fulara i Krzysztof Jakubczyk

Afiliacja

Uniwersytet Warszawski

Termin

19 kwietnia 2010 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Opowiemy jak zwykle o abstrakcyjnej interpretacji. Tym razem będziemy opisywać naszą abstrakcyjną dziedzinę numeryczną - Weighted Hexagons. Pozwala ona reprezentować:

• zależności postaci x <= a*y, gdzie x,y są zmiennymi oraz a jest stałą dodatnią,
• zależności przedziałowe czyli a <= x <=b gdzie x jest zmienną, stałe a i b oznaczają krańce przedziału.

---