Attribute Grammars as a Functional Programming Paradigm (1987)
| Venue: | Functional Programming Languages and Computer Architecture, volume 274 of LNCS |
| Citations: | 71 - 2 self |
BibTeX
@INPROCEEDINGS{Johnsson87attributegrammars,
author = {Thomas Johnsson},
title = {Attribute Grammars as a Functional Programming Paradigm},
booktitle = {Functional Programming Languages and Computer Architecture, volume 274 of LNCS},
year = {1987},
pages = {154--173},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The purpose of this paper is twofold. Firstly we show how attributes in an attribute grammar can be simply and efficiently evaluated using a lazy functional language. The class of attribute grammars we can deal with are the most general ones possible: attributes may depend on each other in an arbitrary way, as long as there are no truly circular data dependencies. Secondly, we describe a methodology based on attribute grammars, where, in a fairly straightforward way, we can develop efficient functional programs where direct, conventional solutions yield less efficient programs. We review two examples from a paper by R. Bird (Using circular programs to eliminate multiple traversals of data, Acta Informatica, 21, 1984) where he transforms simple but inefficient multipass programs into more efficient single pass ones, but which on their own can be very hard to understand. We show how such efficient but tangled programs can have natural formulations as attribute grammars. We also propose a...
