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ń
System tworzony przez Politechnikę Poznańską
oraz Poznańskie Centrum Superkomputerowo-Sieciowe
Zaloguj się przez eKonto, aby dodać do SIN