Calculating with lenses: optimising bidirectional transformations

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2011

Autores

Pacheco, H (Autor) Outra; Cunha, A (Autor) Outra

Ata de Conferência Internacional

Título: Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011

Páginas: 91-100

20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'11

Austin, TX, 24 January 2011 through 24 January 2011

Indexação

Scopus - 7 Citações

Outras Informações

ID Authenticus: P-007-XHK

DOI: 10.1145/1929501.1929520

Abstract (EN): 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. © 2011 ACM.

Idioma: Inglês

Tipo (Avaliação Docente): Científica