Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/14350
Título: | A framework for point-free program transformation |
Autor(es): | Cunha, Alcino Pinto, Jorge Sousa Proença, José Miguel Paiva |
Palavras-chave: | Functional programming Point-free transform |
Data: | 2006 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science |
Resumo(s): | The subject of this paper is functional program transformation in the so-called point-free style. By this we mean first translating programs to a form consisting only of categorically-inspired combinators, algebraic data types defined as fixed points of functors, and implicit recursion through the use of type-parameterized recursion patterns. This form is appropriate for reasoning about programs equationally, but difficult to actually use in practice for programming. In this paper we present a collection of libraries and tools developed at Minho with the aim of supporting the automatic conversion of programs to point-free (embedded in Haskell), their manipulation and rule-driven simplification, and the (limited) automatic application of fusion for program transformation. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/14350 |
ISBN: | 9783540691747 |
DOI: | 10.1007/11964681_1 |
ISSN: | 0302-9743 |
Versão da editora: | http://www.springerlink.com/content/d8x71026640t8443/ |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
frapfpt.pdf | Documento principal | 259,02 kB | Adobe PDF | Ver/Abrir |