Przetwarzanie może potrwać kilka sekund...

Artykuł

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

Data udostępnienia publikacji w sposób otwarty

w momencie opublikowania

Punktacja MNiSW / czasopismo

70

Impact Factor

1,781