Advertisement

Prospero: A System for Representing the Lazy Evaluation of Functions

  • Jonathan P. Taylor
Conference paper
Part of the IFIP Series on Computer Graphics book series (IFIP SER.COMP.)

Abstract

Prospero is a system designed to present the evaluation of functions written in a lazy functional language. Any system which displays the evaluation of a program written in any programming language must have
  • a way of dividing an evaluation into a number of stages,

  • a computational representation of a stage,

  • a set of transformation rules to move from stage to stage,

  • a way of displaying a stage to a user, and

  • a way for the user to move through the stages of the computation.

Keywords

Reduction Rule Functional Programming Evaluation History Functional Language Reduction Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Billyard, A., Direct Manipulation Browsers. PhD Thesis (in preparation). Queen Mary and Westfield College, London.Google Scholar
  2. [2]
    Bird, R. an P. Wadler, Introduction to Functional Programming. Prentice Hall, 1988.Google Scholar
  3. [3]
    Mobus, C. and O. Schroder, “Representing Semantic Knowledge with 2-Dimensional Rules in the Domain of Functional Programming,” in Visualization in Computer Interaction. LNCS 439, 1988.Google Scholar
  4. [4]
    Pain, H. and A. Bundy, “What Stories Should We Tell Novice Prolog Programmers?” inAI Programming Environments (ed. R. Hawley ). Ellis Horwood, 1987.Google Scholar
  5. [5]
    Peyton-Jones, S., The Implementation of Functional Programming Languages. Prentice Hall, 1987.Google Scholar
  6. [6]
    Snyder, R., “Lazy Debugging of Lazy Functional Programs,”New Generation Computing, Vol 8 (1990), pp. 139–61.CrossRefGoogle Scholar
  7. [7]
    Taylor, J., Prospero: A System for Representing the Evaluation of Lazy Functions. Internal Report No. 522. Queen Mary and Westfield College, London, 1991.Google Scholar
  8. [8]
    Taylor, J., Presenting the Evaluation of Lazy Functions. PhD Thesis (in preparation). Queen Mary and Westfield College, London.Google Scholar
  9. [9]
    Toyn, I., Exploratory Environments for Functional Programming. PhD Thesis. University of York, 1987Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Jonathan P. Taylor

There are no affiliations available

Personalised recommendations