Affordable Access

Publisher Website

A new programming technique for lazy functional languages

Authors
Journal
Science of Computer Programming
0167-6423
Publisher
Elsevier
Publication Date
Volume
24
Issue
1
Identifiers
DOI: 10.1016/0167-6423(94)00024-9
Disciplines
  • Computer Science
  • Design

Abstract

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.

There are no comments yet on this publication. Be the first to share your thoughts.