Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"
2011/03/B/ST6/00348
Słowa kluczowe
Deskryptory
- ST6_3: Metody formalne
- ST6_7: Teoretyczne podstawy informatyki, w tym informatyka kwantowa
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
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 5
Konkurs
OPUS 2 – ogłoszony 2011-09-15
- Przyznana kwota
- 399 220 PLN
- Rozpoczęcie projektu
- 2012-08-31
- Zakończenie projektu
- 2016-02-29
- Planowany czas trwania projektu
- 42 miesiące (z wniosku)
- Status projektu
- Projekt rozliczony
Zakupiona aparatura
- adapter HDMI-microHDMI, kabel HDMI.
- adapter VGA.
- dysk twardy z etui.
- etui na laptopa.
- laptop. Za kwotę 10 000 PLN
- myszka komputerowa 3 sztuki.
- słuchawki nauszne 2 pary.
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (1)
-
Subtyping Delimited Continuations
- Autorzy:
- M. Materzok, D. Biernacki
- Status:
- Przyjęta do publikacji
Teksty w publikacjach pokonferencyjnych (7)
-
Environmental Bisimulations for Delimited-Control Operators
- Autorzy:
- D. Biernacki, S. Lenglet
- Konferencja:
- 11th Asian Symposium on Programming Languages and Systems (rok: 2013, strony: 333-348), Wydawca: Springer
- Data:
- konferencja 9-11 December
- Status:
- Opublikowana
-
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus
- Autorzy:
- Dariusz Biernacki, Sergueï Lenglet
- Konferencja:
- 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX) (rok: 2014, strony: 49-64), Wydawca: Elsevier
- Data:
- konferencja June 12-15
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
An operational foundation for the tactic language of Coq
- Autorzy:
- W. Jedynak, M. Biernacka, D. Biernacki
- Konferencja:
- 15th International Symposium on Principles and Practice of Declarative Programming (rok: 2013, strony: 25-36), Wydawca: ACM
- Data:
- konferencja September 16-18
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Logical Relations for Coherence of Effect Subtyping.
- Autorzy:
- Dariusz Biernacki, Piotr Polesiuk
- Konferencja:
- Typed Lambda Calculi and Applications (rok: 2015, strony: 107-122), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
- Data:
- konferencja July 1-3
- Status:
- Opublikowana
-
Axiomatizing Subtyped Delimited Continuations
- Autorzy:
- M. Materzok
- Konferencja:
- Computer Science Logic (rok: 2013, strony: 521-539), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- Data:
- konferencja September 2-5
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
A Dynamic Interpretation of the CPS Hierarchy
- Autorzy:
- M. Materzok, D. Biernacki
- Konferencja:
- 10th Asian Symposium on Programming Languages and Systems (rok: 2012, strony: 296-311), Wydawca: Springer
- Data:
- konferencja December 11-13
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Proving termination of evaluation for System F with control operators
- Autorzy:
- M. Biernacka, D. Biernacki, S. Lenglet, M. Materzok
- Konferencja:
- First Workshop on Control Operators and their Semantics (rok: 2013, strony: 15-29), Wydawca: EPTCS
- Data:
- konferencja June 24-25
- Status:
- Opublikowana
- DOI:
- link do publikacji