W zależności od ilości danych do przetworzenia generowanie pliku może się wydłużyć.

Jeśli generowanie trwa zbyt długo można ograniczyć dane np. zmniejszając zakres lat.

Artykuł

Pobierz BibTeX

Tytuł

Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire

Autorzy

[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik

Dyscyplina naukowa (Ustawa 2.0)

[2.3] Informatyka techniczna i telekomunikacja

Rok publikacji

2019

Opublikowano w

Genetic Programming and Evolvable Machines

Rocznik: 2019 | Tom: vol. 20 | Numer: iss. 3

Typ artykułu

artykuł naukowy

Język publikacji

angielski

Słowa kluczowe
EN
  • program synthesis
  • Algebraic Data Types
  • recursion schemes
  • catamorphisms
  • pattern matching
Data udostępnienia online

14.03.2019

Strony (od-do)

327 - 350

DOI

10.1007/s10710-019-09347-3

URL

https://link.springer.com/article/10.1007/s10710-019-09347-3

Typ licencji

CC BY (uznanie autorstwa)

Wersja tekstu w otwartym dostępie

ostateczna wersja opublikowana

Czas udostępnienia publikacji w sposób otwarty

w momencie opublikowania

Punktacja Ministerstwa / czasopismo

70

Punktacja Ministerstwa / czasopismo w ewaluacji 2017-2021

70

Impact Factor

1,781

Ta strona używa plików Cookies, w celu zapamiętania uwierzytelnionej sesji użytkownika. Aby dowiedzieć się więcej przeczytaj o plikach Cookies i Polityce Prywatności.