Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/6635
Título: | Transformation of structure-shy programs : applied to XPath queries and strategic functions |
Autor(es): | Cunha, Alcino Visser, Joost |
Palavras-chave: | Algebraic program transformation Strategic functional programming XML query languages Point-free program calculation Type specialization Type generalization |
Data: | 2007 |
Editora: | Association for Computing Machinery |
Citação: | WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, Nice, França, 2007 – “ PEPM '07 : proceedings of the ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation.” New York : ACM Press, 2007. ISBN 978-1-59593-620-2 . p. 11 – 20. |
Resumo(s): | Various programming languages allow the construction of structure-shy programs. Such programs are defined generically for many different datatypes and only specify specific behavior for a few relevant subtypes. Typical examples are XML query languages that allow selection of subdocuments without exhaustively specifying intermediate element tags. Other examples are languages and libraries for polytypic or strategic functional programming and for adaptive object-oriented programming. In this paper, we present an algebraic approach to transformation of declarative structure-shy programs, in particular for strategic functions and XML queries. We formulate a rich set of algebraic laws, not just for transformation of structure-shy programs, but also for their conversion into structure-sensitive programs and vice versa. We show how subsets of these laws can be used to construct effective rewrite systems for specialization, generalization, and optimization of structure-shy programs. We present a type-safe encoding of these rewrite systems in Haskell which itself uses strategic functional programming techniques. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/6635 |
ISBN: | 978-1-59593-620-2 |
DOI: | 10.1145/1244381.1244385 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
p11-cunha_joost_visser.pdf | Documento principal | 417,2 kB | Adobe PDF | Ver/Abrir |