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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Billyard, A., Direct Manipulation Browsers. PhD Thesis (in preparation). Queen Mary and Westfield College, London.
Bird, R. an P. Wadler, Introduction to Functional Programming. Prentice Hall, 1988.
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.
Pain, H. and A. Bundy, “What Stories Should We Tell Novice Prolog Programmers?” inAI Programming Environments (ed. R. Hawley ). Ellis Horwood, 1987.
Peyton-Jones, S., The Implementation of Functional Programming Languages. Prentice Hall, 1987.
Snyder, R., “Lazy Debugging of Lazy Functional Programs,”New Generation Computing, Vol 8 (1990), pp. 139–61.
Taylor, J., Prospero: A System for Representing the Evaluation of Lazy Functions. Internal Report No. 522. Queen Mary and Westfield College, London, 1991.
Taylor, J., Presenting the Evaluation of Lazy Functions. PhD Thesis (in preparation). Queen Mary and Westfield College, London.
Toyn, I., Exploratory Environments for Functional Programming. PhD Thesis. University of York, 1987
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Taylor, J.P. (1992). Prospero: A System for Representing the Lazy Evaluation of Functions. In: Cunningham, S., Hubbold, R.J. (eds) Interactive Learning Through Visualization. IFIP Series on Computer Graphics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77263-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-77263-4_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-77265-8
Online ISBN: 978-3-642-77263-4
eBook Packages: Springer Book Archive