Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Metody wnioskowania o programach w językach wyższego rzędu

2014/15/B/ST6/00619

Słowa kluczowe:

semantyka operacyjna funkcje wyższego rzędu równoważność programów systemy typów relacje logiczne bisymulacje programowanie wieloetapowe poprawność kompilatorów

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Witold Charatonik 

Liczba wykonawców projektu: 5

Konkurs: OPUS 8 - ogłoszony 2014-09-15

Przyznana kwota: 597 340 PLN

Rozpoczęcie projektu: 2015-07-22

Zakończenie projektu: 2018-11-21

Planowany czas trwania projektu: 40 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. laptop. Za kwotę 10 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (6)
  • Teksty w publikacjach pokonferencyjnych (9)
  1. Handle with care: relational interpretation of algebraic effects and handlers
    Autorzy:
    Dariusz Biernacki and Maciej Piróg and Piotr Polesiuk and Filip Sieczkowski
    Czasopismo:
    Proceedings of the ACM on Programming Languages (rok: 2018, tom: 2(POPL), strony: 8:1--8:30), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/3158096 - link do publikacji
  2. Logical Relations for Coherence of Effect Subtyping
    Autorzy:
    Dariusz Biernacki and Piotr Polesiuk
    Czasopismo:
    Logical Methods in Computer Science (rok: 2018, tom: 14(1:11), strony: 45319), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Opublikowana
    Doi:
    10.23638/LMCS-14(1:11)2018 - link do publikacji
  3. Bisimulations for Delimited-Control Operators
    Autorzy:
    Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
    Czasopismo:
    Logical Methods in Computer Science (rok: 2019, tom: 15(2), strony: 18:1-18:57), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Opublikowana
    Doi:
    10.23638/LMCS-15(2:18)2019 - link do publikacji
  4. Abstracting Algebraic Effects
    Autorzy:
    Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
    Czasopismo:
    Proceedings of the ACM on Programming Languages (rok: 2019, tom: 3(POPL), strony: 6:1--6:28), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/3290319 - link do publikacji
  5. Environmental bisimulations for delimited-control operators with dynamic prompt generation
    Autorzy:
    Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
    Czasopismo:
    Logical Methods in Computer Science (rok: 2017, tom: 13(3:27), strony: 45317), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Opublikowana
    Doi:
    10.23638/LMCS-13(3:27)2017 - link do publikacji
  6. Proving Soundness of Extensional Normal-Form Bisimilarities
    Autorzy:
    Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
    Czasopismo:
    Special issue of Logical Methods in Computer Science (LMCS): Selected papers of the 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII) (rok: 2019, tom: 15(1), strony: 31:1-31:24), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Opublikowana
    Doi:
    10.23638/LMCS-15(1:31)2019 - link do publikacji
  1. A Coq formalization of normalization by evaluation for Martin-Loef type theory
    Autorzy:
    Pawel Wieczorek and Dariusz Biernacki
    Konferencja:
    7th ACM {SIGPLAN International Conference on Certified Programs and Proofs, CPP (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja January 8-9, 2018
    Status:
    Opublikowana
    Doi:
    link do publikacji
  2. Deriving an Abstract Machine for Strong Call by Need
    Autorzy:
    Małgorzata Biernacka i Witold Charatonik
    Konferencja:
    4th International Conference on Formal Structures for Computation and Deduction (FSCD) (rok: 2019, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 6-11 April 2019
    Status:
    Opublikowana
    Doi:
    link do publikacji
  3. Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
    Autorzy:
    Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet and Piotr Polesiuk
    Konferencja:
    1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016 (rok: 2016, ), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik
    Data:
    konferencja June 22-26, 2016
    Status:
    Opublikowana
    Doi:
    link do publikacji
  4. Equational Theories and Monads from Polynomial Cayley Representations
    Autorzy:
    Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
    Konferencja:
    22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) (rok: 2019, ), Wydawca: Springer
    Data:
    konferencja 6-11 April 2019
    Status:
    Opublikowana
    Doi:
    link do publikacji
  5. Fully abstract encodings of lambda-calculus in HOcore through abstract machines
    Autorzy:
    Malgorzata Biernacka and Dariusz Biernacki and Serguei Lenglet and Piotr Polesiuk and Damien Pous and Alan Schmitt
    Konferencja:
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS (rok: 2017, ), Wydawca: IEEE Computer Society
    Data:
    konferencja June 20-23, 2017
    Status:
    Opublikowana
    Doi:
    link do publikacji
  6. Typed Equivalence of Effect Handlers and Delimited Control
    Autorzy:
    Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski
    Konferencja:
    4th International Conference on Formal Structures for Computation and Deduction (FSCD) (rok: 2019, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 6-11 April 2019
    Status:
    Opublikowana
    Doi:
    link do publikacji
  7. Generalized Refocusing: From Hybrid Strategies to Abstract Machines
    Autorzy:
    Malgorzata Biernacka and Witold Charatonik and Klara Zielinska
    Konferencja:
    2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) (rok: 2017, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja September 3-9, 2017
    Status:
    Opublikowana
    Doi:
    link do publikacji
  8. Proving Soundness of Extensional Normal-Form Bisimilarities
    Autorzy:
    Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
    Konferencja:
    33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII) (rok: 2018, ), Wydawca: Electronic Notes in Theoretical Computer Science
    Data:
    konferencja 12-15 June 2017
    Status:
    Przyjęta do publikacji
    Doi:
    link do publikacji
  9. A Complete Normal-Form Bisimilarity for State
    Autorzy:
    Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
    Konferencja:
    22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) (rok: 2019, ), Wydawca: Springer
    Data:
    konferencja 6-11 April 2019
    Status:
    Opublikowana
    Doi:
    link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy