Abstrakcyjna interpretacja nad dziedziną Weighted Hexagons

Speaker(s)

Jędrzej Fulara i Krzysztof Jakubczyk

Affiliation

Uniwersytet Warszawski

Date

April 19, 2010, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---