Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15297
Título: | Calculating with lenses: optimising bidirectional transformations |
Autor(es): | Pacheco, Hugo Cunha, Alcino |
Palavras-chave: | Bidirectional transformation Point-free programming Program calculation |
Data: | 2011 |
Editora: | ACM |
Resumo(s): | This paper presents an equational calculus to reason about bidirectional transformations specified in the point-free style. In particular, it focuses on the so-called lenses as a bidirectional idiom, and shows that many standard laws characterising point-free combinators and recursion patterns are also valid in that setting. A key result is that uniqueness also holds for bidirectional folds and unfolds, thus unleashing the power of fusion as a program optimisation technique. A rewriting system for automatic lens optimisation is also presented, to prove the usefulness of the proposed calculus. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/15297 |
ISBN: | 9781450304856 |
DOI: | 10.1145/1929501.1929520 |
Versão da editora: | http://dx.doi.org/10.1145/1929501.1929520 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
pepm11.pdf | 573,11 kB | Adobe PDF | Ver/Abrir |