Konstrukcje architekturalne w kategorii fragmentów

Speaker(s)

Grzegorz Marczyński

Affiliation

Uniwersytet Warszawski

Date

Dec. 20, 2010, 10:15 a.m.

Room

room 5850

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

Na seminarium opowiem o kowariantnych sygnaturach i modelach konstrukcji architekturalnych oraz o ich składaniu. Pokażę też przykłady takich konstrukcji w kategorii fragmentów sygnatur algebraicznych z zależnościami.

---