Memoized zipper-based attribute grammars and their higher order extension
Autor(a) principal: | |
---|---|
Data de Publicação: | 2019 |
Outros Autores: | , , , |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/1822/68621 |
Resumo: | Attribute grammars are a powerfull, well-known formalism to implement and reason about programs which, by design, are conveniently modular. In this work we focus on a state of the art zipper-based embedding of classic attribute grammars and higher-order attribute grammars. We improve their execution performance through controlling attribute (re)evaluation by means of memoization techniques. We present the results of our optimizations by comparing their impact in various implementations of different, well-studied, attribute grammars and their Higher-Order extensions. (C) 2018 Elsevier B.V. All rights reserved. |
id |
RCAP_6b1c34dade048f0481d992c41d4a1f5b |
---|---|
oai_identifier_str |
oai:repositorium.sdum.uminho.pt:1822/68621 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
Memoized zipper-based attribute grammars and their higher order extensionEmbedded domain specific languagesZipper data structureMemoizationAttribute grammarsFunctional programmingEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaScience & TechnologyAttribute grammars are a powerfull, well-known formalism to implement and reason about programs which, by design, are conveniently modular. In this work we focus on a state of the art zipper-based embedding of classic attribute grammars and higher-order attribute grammars. We improve their execution performance through controlling attribute (re)evaluation by means of memoization techniques. We present the results of our optimizations by comparing their impact in various implementations of different, well-studied, attribute grammars and their Higher-Order extensions. (C) 2018 Elsevier B.V. All rights reserved.- (undefined)Elsevier Science BVUniversidade do MinhoFernandes, João PauloMartins, PedroPardo, AlbertoSaraiva, JoãoViera, Marcos20192019-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/68621eng0167-642310.1016/j.scico.2018.10.006https://www.sciencedirect.com/science/article/pii/S016764231830412Xinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:18:31Zoai:repositorium.sdum.uminho.pt:1822/68621Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:11:21.391624Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
Memoized zipper-based attribute grammars and their higher order extension |
title |
Memoized zipper-based attribute grammars and their higher order extension |
spellingShingle |
Memoized zipper-based attribute grammars and their higher order extension Fernandes, João Paulo Embedded domain specific languages Zipper data structure Memoization Attribute grammars Functional programming Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática Science & Technology |
title_short |
Memoized zipper-based attribute grammars and their higher order extension |
title_full |
Memoized zipper-based attribute grammars and their higher order extension |
title_fullStr |
Memoized zipper-based attribute grammars and their higher order extension |
title_full_unstemmed |
Memoized zipper-based attribute grammars and their higher order extension |
title_sort |
Memoized zipper-based attribute grammars and their higher order extension |
author |
Fernandes, João Paulo |
author_facet |
Fernandes, João Paulo Martins, Pedro Pardo, Alberto Saraiva, João Viera, Marcos |
author_role |
author |
author2 |
Martins, Pedro Pardo, Alberto Saraiva, João Viera, Marcos |
author2_role |
author author author author |
dc.contributor.none.fl_str_mv |
Universidade do Minho |
dc.contributor.author.fl_str_mv |
Fernandes, João Paulo Martins, Pedro Pardo, Alberto Saraiva, João Viera, Marcos |
dc.subject.por.fl_str_mv |
Embedded domain specific languages Zipper data structure Memoization Attribute grammars Functional programming Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática Science & Technology |
topic |
Embedded domain specific languages Zipper data structure Memoization Attribute grammars Functional programming Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática Science & Technology |
description |
Attribute grammars are a powerfull, well-known formalism to implement and reason about programs which, by design, are conveniently modular. In this work we focus on a state of the art zipper-based embedding of classic attribute grammars and higher-order attribute grammars. We improve their execution performance through controlling attribute (re)evaluation by means of memoization techniques. We present the results of our optimizations by comparing their impact in various implementations of different, well-studied, attribute grammars and their Higher-Order extensions. (C) 2018 Elsevier B.V. All rights reserved. |
publishDate |
2019 |
dc.date.none.fl_str_mv |
2019 2019-01-01T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/1822/68621 |
url |
http://hdl.handle.net/1822/68621 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
0167-6423 10.1016/j.scico.2018.10.006 https://www.sciencedirect.com/science/article/pii/S016764231830412X |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Elsevier Science BV |
publisher.none.fl_str_mv |
Elsevier Science BV |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799132545091108864 |