Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/89924
Título: | Efficient embedding of strategic attribute grammars via memoization |
Autor(es): | Macedo, José Nuno Castro Rodrigues, Emanuel Viera, Marcos Saraiva, João |
Palavras-chave: | Strategic programming Attribute grammars Zippers Generic traversals |
Data: | 2023 |
Editora: | Association for Computing Machinery (ACM) |
Citação: | José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, and João Saraiva. 2023. Efficient Embedding of Strategic Attribute Grammars via Memoization. In Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM ’23), January 16–17, 2023, Boston, MA, USA. ACM, New York, NY, USA, 14 pages. https://doi.org/10.1145/3571786.3573019 |
Resumo(s): | Strategic term re-writing and attribute grammars are two powerful programming techniques widely used in language engineering. The former relies on strategies to apply term rewrite rules in defining large-scale language transformations, while the latter is suitable to express context-dependent language processing algorithms. These two techniques can be expressed and combined via a powerful navigation abstraction: generic zippers. This results in a concise zipper-based embedding offering the expressiveness of both techniques. Such elegant embedding has a severe limitation since it recomputes attribute values. This paper presents a proper and efficient embedding of both techniques. First, attribute values are memoized in the zipper data structure, thus avoiding their re-computation. Moreover, strategic zipper based functions are adapted to access such memoized values. We have implemented our memoized embedding as the Ztrategic library and we benchmarked it against the state-of-the-art Strafunski and Kiama libraries. Our first results show that we are competitive against those two well established libraries. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/89924 |
ISBN: | 979-8-4007-0011-8 |
DOI: | 10.1145/3571786.3573019 |
Versão da editora: | https://dl.acm.org/doi/10.1145/3571786.3573019 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
3571786.3573019.pdf | 967,14 kB | Adobe PDF | Ver/Abrir |