Prospero: A System for Representing the Lazy Evaluation of Functions
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.
KeywordsReduction Rule Functional Programming Evaluation History Functional Language Reduction Graph
Unable to display preview. Download preview PDF.
- Billyard, A., Direct Manipulation Browsers. PhD Thesis (in preparation). Queen Mary and Westfield College, London.Google Scholar
- Bird, R. an P. Wadler, Introduction to Functional Programming. Prentice Hall, 1988.Google Scholar
- 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
- Pain, H. and A. Bundy, “What Stories Should We Tell Novice Prolog Programmers?” inAI Programming Environments (ed. R. Hawley ). Ellis Horwood, 1987.Google Scholar
- Peyton-Jones, S., The Implementation of Functional Programming Languages. Prentice Hall, 1987.Google Scholar
- 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
- Taylor, J., Presenting the Evaluation of Lazy Functions. PhD Thesis (in preparation). Queen Mary and Westfield College, London.Google Scholar
- Toyn, I., Exploratory Environments for Functional Programming. PhD Thesis. University of York, 1987Google Scholar