Memoized zipper-based attribute grammars and their higher order extension

• Tipo: Artigo em Revista Científica Internacional
• Data: 2019

Autores

Joao Paulo Fernandes (Autor) Outra; Martins, P (Autor) Outra; Pardo, A (Autor) Outra; Saraiva, J (Autor) Outra; Viera, M (Autor) Outra

Revista

Título: Science of Computer Programming

Vol. 173

Páginas: 71-94

ISSN: 0167-6423

Editora: Elsevier

Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 2 Citações

Outras Informações

ID Authenticus: P-00P-YNC

DOI: 10.1016/j.scico.2018.10.006

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

Idioma: Inglês

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

Nº de páginas: 24