Abstrakcyjne dziedziny do modelowania tablic

Speaker(s)

Jędrzej Fulara

Affiliation

Uniwersytet Warszawski

Date

Jan. 17, 2011, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

Przedstawię swoje prace nad dziedzinami do reprezentowania zawartości tablic. Zaprezentuję dwa rozwiązania:
 - wydajne, ale mało precyzyjne, oparte o dziedzinę przedziałową (wykorzystujące drzewa przedziałowe),
 - mniej wydajne, ale dokładniejsze, oparte o pentagony.

---