Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

2019/33/B/ST6/00289

Słowa kluczowe:

teoria obliczeń semantyka operacyjna maszyna abstrakcyjna

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe

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.

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Witold Charatonik 

Liczba wykonawców projektu: 7

Konkurs: OPUS 17 - ogłoszony 2019-03-15

Przyznana kwota: 634 440 PLN

Rozpoczęcie projektu: 2020-02-01

Zakończenie projektu: 2024-09-19

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

Status projektu: Projekt zakończony

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.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (3)
  • Teksty w publikacjach pokonferencyjnych (16)
  1. A General Fine-Grained Reduction Theory for Effect Handlers
    Autorzy:
    Filip Sieczkowski and Mateusz Pyzik and Dariusz Biernacki
    Czasopismo:
    Proceedings of the ACM on Programming Languages (PACMPL) (rok: 2023, tom: 7, Issue ICFP, strony: 511--540), Wydawca: Association for Computing Machinery New York, NY, United States
    Status:
    Opublikowana
    Doi:
    10.1145/3607848 - link do publikacji
  2. A simple and efficient implementation of strong call by need by an abstract machine
    Autorzy:
    Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
    Czasopismo:
    Proceedings of the ACM on Programming Languages (PACMPL) (rok: 2022, tom: 6, strony: 109--136), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/3549822 - link do publikacji
  3. A simple and efficient implementation of strong call by need by an abstract machine
    Autorzy:
    Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
    Czasopismo:
    Proceedings of the ACM on Programming Languages (PACMPL) (rok: 2022, tom: 6, strony: 109--136), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/3549822 - link do publikacji
  1. A Derived Reasonable Abstract Machine for Strong Call by Value
    Autorzy:
    Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
    Konferencja:
    23rd International Symposium on Principles and Practice of Declarative Programming (rok: 2021, tom: PPDP 2021, strony: 6:1--6:14), Wydawca: ACM
    Data:
    konferencja September 6-8, 2021
    Status:
    Opublikowana
    Doi:
    10.1145/3479394.3479401 - link do publikacji
  2. An Abstract Machine for Strong Call by Value
    Autorzy:
    Małgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab
    Konferencja:
    Asian Symposium on Programming Languages and Systems (rok: 2020, tom: Asian Symposium on Programming, strony: 147--166), Wydawca: Springer
    Data:
    konferencja November 30 - December 2, 2020
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-64437-6_8 - link do publikacji
  3. Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines
    Autorzy:
    Maciej Buszka, Dariusz Biernacki
    Konferencja:
    Logic-Based Program Synthesis and Transformation (rok: 2021, tom: LOPSTR 2021, strony: 38--59), Wydawca: Springer
    Data:
    konferencja September 7-8, 2021
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-98869-2_3 - link do publikacji
  4. An Abstract Machine for Strong Call by Value
    Autorzy:
    Małgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab
    Konferencja:
    Asian Symposium on Programming Languages and Systems (rok: 2020, tom: Asian Symposium on Programming, strony: 147--166), Wydawca: Springer
    Data:
    konferencja November 30 - December 2, 2020
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-64437-6_8 - link do publikacji
  5. A Derived Reasonable Abstract Machine for Strong Call by Value
    Autorzy:
    Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
    Konferencja:
    23rd International Symposium on Principles and Practice of Declarative Programming (rok: 2021, tom: PPDP 2021, strony: 6:1--6:14), Wydawca: ACM
    Data:
    konferencja September 6-8, 2021
    Status:
    Opublikowana
    Doi:
    10.1145/3479394.3479401 - link do publikacji
  6. Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines
    Autorzy:
    Maciej Buszka, Dariusz Biernacki
    Konferencja:
    Logic-Based Program Synthesis and Transformation (rok: 2021, tom: LOPSTR 2021, strony: 38--59), Wydawca: Springer
    Data:
    konferencja September 7-8, 2021
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-98869-2_3 - link do publikacji
  7. Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory
    Autorzy:
    Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski
    Konferencja:
    23rd International Symposium on Principles and Practice of Declarative Programming (rok: 2021, tom: PPDP 2021, strony: 4:1--4:13), Wydawca: ACM
    Data:
    konferencja September 6-8, 2021
    Status:
    Opublikowana
    Doi:
    10.1145/3479394.3479399 - link do publikacji
  8. Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory
    Autorzy:
    Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski
    Konferencja:
    23rd International Symposium on Principles and Practice of Declarative Programming (rok: 2021, tom: PPDP 2021, strony: 4:1--4:13), Wydawca: ACM
    Data:
    konferencja September 6-8, 2021
    Status:
    Opublikowana
    Doi:
    10.1145/3479394.3479399 - link do publikacji
  9. Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory
    Autorzy:
    Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski
    Konferencja:
    23rd International Symposium on Principles and Practice of Declarative Programming (rok: 2021, tom: PPDP 2021, strony: 4:1--4:13), Wydawca: ACM
    Data:
    konferencja September 6-8, 2021
    Status:
    Opublikowana
    Doi:
    10.1145/3479394.3479399 - link do publikacji
  10. Non-Deterministic Abstract Machines
    Autorzy:
    Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet,Alan Schmitt
    Konferencja:
    33rd International Conference on Concurrency Theory (CONCUR 2022) (rok: 2022, tom: 33rd International Conference on Concurrency Theory (CONCUR 2022), strony: 7:1-7:24), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
    Data:
    konferencja September 12-16, 2022
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.CONCUR.2022.7 - link do publikacji
  11. A Derived Reasonable Abstract Machine for Strong Call by Value
    Autorzy:
    Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
    Konferencja:
    23rd International Symposium on Principles and Practice of Declarative Programming (rok: 2021, tom: PPDP 2021, strony: 6:1--6:14), Wydawca: ACM
    Data:
    konferencja September 6-8, 2021
    Status:
    Opublikowana
    Doi:
    10.1145/3479394.3479401 - link do publikacji
  12. An Abstract Machine for Strong Call by Value
    Autorzy:
    Małgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab
    Konferencja:
    Asian Symposium on Programming Languages and Systems (rok: 2020, tom: Asian Symposium on Programming, strony: 147--166), Wydawca: Springer
    Data:
    konferencja November 30 - December 2, 2020
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-64437-6_8 - link do publikacji
  13. The Zoo of Lambda-Calculus Reduction Strategies, And Coq
    Autorzy:
    Małgorzata Biernacka, Witold Charatonik, Tomasz Drab
    Konferencja:
    13th International Conference on Interactive Theorem Proving, ITP (rok: 2022, tom: 13th International Conference on Interactive Theorem Proving, ITP, strony: 7:1--7:19), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    Data:
    konferencja August 7-10, 2022
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.ITP.2022.7 - link do publikacji
  14. The Zoo of Lambda-Calculus Reduction Strategies, And Coq
    Autorzy:
    Małgorzata Biernacka, Witold Charatonik, Tomasz Drab
    Konferencja:
    13th International Conference on Interactive Theorem Proving, ITP (rok: 2022, tom: 13th International Conference on Interactive Theorem Proving, ITP, strony: 7:1--7:19), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    Data:
    konferencja August 7-10, 2022
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.ITP.2022.7 - link do publikacji
  15. Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines
    Autorzy:
    Maciej Buszka, Dariusz Biernacki
    Konferencja:
    Logic-Based Program Synthesis and Transformation (rok: 2021, tom: LOPSTR 2021, strony: 38--59), Wydawca: Springer
    Data:
    konferencja September 7-8, 2021
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-98869-2_3 - link do publikacji
  16. Non-Deterministic Abstract Machines
    Autorzy:
    Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet,Alan Schmitt
    Konferencja:
    33rd International Conference on Concurrency Theory (CONCUR 2022) (rok: 2022, tom: 33rd International Conference on Concurrency Theory (CONCUR 2022), strony: 7:1-7:24), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
    Data:
    konferencja September 12-16, 2022
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.CONCUR.2022.7 - link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy