Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/90289
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Macedo, José Nuno | por |
dc.contributor.author | Viera, Marcos | por |
dc.contributor.author | Saraiva, João | por |
dc.date.accessioned | 2024-03-28T19:26:53Z | - |
dc.date.available | 2024-03-28T19:26:53Z | - |
dc.date.issued | 2022 | - |
dc.identifier.citation | Macedo, J.N., Viera, M., Saraiva, J. (2022). Zipping Strategies and Attribute Grammars. In: Hanus, M., Igarashi, A. (eds) Functional and Logic Programming. FLOPS 2022. Lecture Notes in Computer Science, vol 13215. Springer, Cham. https://doi.org/10.1007/978-3-030-99461-7_7 | por |
dc.identifier.isbn | 978-3-030-99460-0 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | https://hdl.handle.net/1822/90289 | - |
dc.description.abstract | Strategic term rewriting and attribute grammars are two powerful programming techniques widely used in language engineering. The former relies on strategies (recursion schemes) to apply term rewrite rules in defining transformations, while the latter is suitable for expressing context-dependent language processing algorithms. Each of these techniques, however, is usually implemented by its own powerful and large processor system. As a result, it makes such systems harder to extend and to combine. We present the embedding of both strategic tree rewriting and attribute grammars in a zipper-based, purely functional setting. The embedding of the two techniques in the same setting has several advantages: First, we easily combine/zip attribute grammars and strategies, thus providing language engineers the best of the two worlds. Second, the combined embedding is easier to maintain and extend since it is written in a concise and uniform setting. We show the expressive power of our library in optimizing Haskell let expressions, expressing several Haskell refactorings and solving several language processing tasks for an Oberon-0 compiler. | por |
dc.description.sponsorship | This work is financed by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciˆencia e a Tecnologia, within project LA/P/0063/2020. The first author is also sponsored by FCT grant 2021.08184.BD | por |
dc.language.iso | eng | por |
dc.publisher | Springer, Cham | por |
dc.rights | openAccess | por |
dc.subject | Attribute grammars | por |
dc.subject | Strategic term rewriting | por |
dc.subject | Zippers | por |
dc.title | Zipping strategies and attribute grammars | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-030-99461-7_7 | por |
oaire.citationStartPage | 112 | por |
oaire.citationEndPage | 132 | por |
oaire.citationVolume | 13215 LNCS | por |
dc.date.updated | 2024-03-26T09:05:22Z | - |
dc.identifier.doi | 10.1007/978-3-030-99461-7_7 | por |
dc.identifier.eisbn | 978-3-030-99461-7 | - |
dc.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | por |
sdum.export.identifier | 14807 | - |
sdum.journal | Lecture Notes in Computer Science | por |
oaire.version | AM | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
P-00W-FM4.pdf | 428,68 kB | Adobe PDF | Ver/Abrir |