Abstract
An infinite structure is a data structure which cannot be fully constructed in any fixed amount of space. Several varieties of infinite structures are currently supported in Scratchpad II: infinite sequences, radix expansions, power series and continued fractions. Two basic methods are employed to represent infinite structures: self referential data structures and lazy evaluation. These may be employed either separately or in conjunction.
This paper presents recently developed facilities in Scratchpad II for manipulating infinite structures. General techniques for manipulating infinite structures are covered, as well as the higher level manipulations on the various types of mathematical objects represented by infinite structures.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Bibliography
H. Rutishauser [1954], Der Quotienten-Differenzen-Algorithmus, Z. Angew. Math. Physik 5 233–251.
H.B. Curry and R. Feys [1958], Combinatory Logic, North Holland, Amsterdam.
P. Henrici [1977], Applied and Computational Complex Analysis, Volume 2, John Wiley & Sons.
R.D. Jenks and B.M. Trager [1981], A Language for Computational Algebra, Proc. 1981 ACM Symposium on Symbolic and Albebraic Computation.
H. Abelson and G. Sussman (with J. Sussman) [1985], Structure and Interpretation of Computer Programs, The MIT Press, Cambridge Mass.
R.D. Jenks, R.S. Sutor and S.M. Watt [1986], “Scratchpad II: An Abstract Datatype System for Mathematical Computation” in Mathematical Aspects of Scientific Software, J. R. Rice ed., IMA Volumes in Mathematics and Its Applications, Volume 14, Springer-Verlag, New York, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burge, W.H., Watt, S.M. (1989). Infinite structures in scratchpad II. In: Davenport, J.H. (eds) Eurocal '87. EUROCAL 1987. Lecture Notes in Computer Science, vol 378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51517-8_103
Download citation
DOI: https://doi.org/10.1007/3-540-51517-8_103
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51517-3
Online ISBN: 978-3-540-48207-9
eBook Packages: Springer Book Archive