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.

Raport

Tytuł dzieła

Stochastic Synthesis of Recursive Functions made Easy: Preliminary Results

Autorzy

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

Identyfikator dzieła

r533926_2018

Słowa kluczowe
EN
  • program synthesis
  • algebraic data types
  • recursion schemes
  • catamorphisms
  • pattern matching
Data

04.06.2018

Język

angielski

Liczba stron lub objętość dzieła

9

Typ dzieła

raport z badań

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.