Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

2011/03/B/ST6/00348

Słowa kluczowe:

języki programowania izomorfizm Curry'ego-Howarda transformacje programów kontynuacje operatory sterowania interaktywne dowodzenie twierdzeń

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Małgorzata Biernacka 

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: 36 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. laptop. Za kwotę 10 000 PLN
  2. etui na laptopa.
  3. adapter HDMI-microHDMI, kabel HDMI.
  4. dysk twardy z etui.
  5. myszka komputerowa 3 sztuki.
  6. słuchawki nauszne 2 pary.
  7. adapter VGA.

Dane z raportu końcowego

  • Publikacje w czasopismach (1)
  • Teksty w publikacjach pokonferencyjnych (7)
  1. Subtyping Delimited Continuations
    Autorzy:
    M. Materzok, D. Biernacki
    Czasopismo:
    Higher-Order and Symbolic Computation (rok: 2013, tom: nie dotyczy, strony: nie dotyczy), Wydawca: Springer
    Status:
    Przyjęta do publikacji
  1. Axiomatizing Subtyped Delimited Continuations
    Autorzy:
    M. Materzok
    Konferencja:
    Computer Science Logic (rok: 2013, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja September 2-5
    Status:
    Opublikowana
  2. Environmental Bisimulations for Delimited-Control Operators
    Autorzy:
    D. Biernacki, S. Lenglet
    Konferencja:
    11th Asian Symposium on Programming Languages and Systems (rok: 2013, ), Wydawca: Springer
    Data:
    konferencja 9-11 December
    Status:
    Opublikowana
  3. A Dynamic Interpretation of the CPS Hierarchy
    Autorzy:
    M. Materzok, D. Biernacki
    Konferencja:
    10th Asian Symposium on Programming Languages and Systems (rok: 2012, ), Wydawca: Springer
    Data:
    konferencja December 11-13
    Status:
    Opublikowana
  4. 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, ), Wydawca: Elsevier
    Data:
    konferencja June 12-15
    Status:
    Opublikowana
  5. 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, ), Wydawca: ACM
    Data:
    konferencja September 16-18
    Status:
    Opublikowana
  6. Logical Relations for Coherence of Effect Subtyping.
    Autorzy:
    Dariusz Biernacki, Piotr Polesiuk
    Konferencja:
    Typed Lambda Calculi and Applications (rok: 2015, ), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
    Data:
    konferencja July 1-3
    Status:
    Opublikowana
  7. 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, ), Wydawca: EPTCS
    Data:
    konferencja June 24-25
    Status:
    Opublikowana