Projekty finansowane przez NCN
Skalowalne metody wnioskowania o imperatywnych programach współbieżnych
2016/23/D/ST6/01387
Słowa kluczowe:
weryfikacja formalna logika separacyjna relacje logiczne współbieżność stan wyższego rzędu
Deskryptory:
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
woj. dolnośląskie
Konkurs: SONATA 12 - ogłoszony 2016-09-15
Przyznana kwota: 216 700 PLN
Rozpoczęcie projektu: 2017-08-24
Zakończenie projektu: 2020-08-23
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Zakupiona aparatura
- Laptop computer. Za kwotę 10 000 PLN
Dane z raportu końcowego/rocznego
- Teksty w publikacjach pokonferencyjnych (3)
- Typed Equivalence of Effect Handlers and Delimited ControlAutorzy:Maciej Piróg, Piotr Polesiuk, Filip SieczkowskiKonferencja:International Conference on Formal Structures for Computation and Deduction (rok: 2019, ), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für InformatikData:konferencja 2019-06-24−30Status:Opublikowana
- Equational Theories and Monads from Polynomial Cayley RepresentationsAutorzy:Maciej Piróg, Piotr Polesiuk, Filip SieczkowskiKonferencja:Foundations of Software Science and Computation Structures (rok: 2019, ), Wydawca: Springer-VerlagData:konferencja 2019-04-6−11Status:Opublikowana
- Binders by day, labels by night: effect instances via lexically scoped handlersAutorzy:Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip SieczkowskiKonferencja:Principles of Programming Languages 2020 (rok: 2020, ), Wydawca: ACMData:konferencja 2020-01-22–24Status:Opublikowana