Memoized zipper-based attribute grammars and their higher order extension

• Type: Article in International Scientific Journal
• Date: 2019

Authors

Joao Paulo Fernandes (Author) Other; Martins, P (Author) Other; Pardo, A (Author) Other; Saraiva, J (Author) Other; Viera, M (Author) Other

Journal

Title: Science of Computer Programming

Vol. 173

Pages: 71-94

ISSN: 0167-6423

Publisher: Elsevier

Indexing

ISI Web of Knowledge - 2 Citations

Scopus - 2 Citations

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 24