Zobrazeno 1 - 3 of 3 pro vyhledávání: '"Deforestation <Informatik>"'
1
Dissertation/ Thesis
Categorical semantics and composition of tree transducers
Autor: Jürgensen, Claus
In this thesis we see two new approaches to compose tree transducers and more general to fuse functional programs. The first abroach is based on initial algebras. We prove a new variant of the acid rain theorem for mutually recursive functions where
Externí odkaz: https://tud.qucosa.de/id/qucosa%3A24455
https://tud.qucosa.de/api/qucosa%3A24455/attachment/ATT-0/
Zobrazit plný text záznamu
2
Categorical semantics and composition of tree transducers
Autor: Jürgensen, Claus
In this thesis we see two new approaches to compose tree transducers and more general to fuse functional programs. The first abroach is based on initial algebras. We prove a new variant of the acid rain theorem for mutually recursive functions where
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______4179::a38a7e59471b2c241e3236ed72b93d8d
https://tud.qucosa.de/id/qucosa:24455
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje