A new programming technique for lazy functional languages


Gilst, F.A. van and Broek, P.M. van den (1995) A new programming technique for lazy functional languages. Science of computer programming, 24 (1). pp. 63-81. ISSN 0167-6423

open access
Abstract:In this paper we present a new programming technique for lazy functional programming languages. The technique is embedded in a programming methodology which is based on divide and conquer: the division of problems into subproblems. Such a division will be represented by a call graph.

A class of program schemes, which implement call graphs, is derived based on Johnsson's approach to attribute evaluation in attribute grammars. The key idea is to consider the passing of arguments to functions and the return of results by functions in a call graph as the propagation of inherited and synthesized attributes, respectively, in an attribute grammar.

The new technique is illustrated by several small examples and a case study: the design and implementation of a compiler generator.
Item Type:Article
Copyright:© 1995 Elsevier Science
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/17960
Official URL:https://doi.org/10.1016/0167-6423(94)00024-9
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 118479