Abstract
We propose an abstract data type for freezable data structures. A frozen data structure is immutable. In contrast to general immutable data structures, freezable data structures can be mutated efficiently until they are frozen. Our abstract data type relies on the Carrier-Rider Pattern and information hiding in a module.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
H.G. Baker: Use-Once' Variables and Linear Objects — Storage Management, Reflection and Multi-Threading. ACM Sigplan Notices 30, 1, 1995
H.J. Boehm, R. Atkinson, M. Plass: Ropes Are Better Than Strings. Technical Report CSL-94-10, Xerox Corporation, Palo Alto Research Center, 1994
B. Char, K. Geddes, G. Gonnet, B. Leong, M. Monagan, and S. Watt: Maple V Language Reference Manual. Springer-Verlag, New York, 1991
E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns. Addison Wesley, Reading, MA, ISBN 0-201-63361-2, 1995
C.A.R. Hoare: Monitors: An operating system structuring concept. Comm. ACM 17, 10, Oct. 1974
C.A.R. Hoare: Recursive Data Structures. International Journal of Computer and Information Sciences, June 4, 2, 1975
G. E. Krasner, S. T. Pope: A cookbook for using the Model-View-Controller user interface paradigm in Smalltalk-80. Journal of Object-Oriented Programming, Vol. 1, No. 3, August 1988, pp. 26 49, 1988
Naftaly Minsky: Towards Alias-Free Pointers. Proceedings of the Tenth European Conference on Object-Oriented Programming (ECOOP'96), Linz, Austria, July, 1996, LNCS 1098, Springer-Verlag, 1996
The Oberon/F User's Guide. Oberon microsystems, Inc., Basel, Switzerland, (http://www.oberon.ch/customers/omi) 1994
N. Soiffer: The Design of a User Interface for Computer Algebra Systems. Doctoral Dissertation Report No. UCB/CSD 91/626, Computer Science Division, University of California at Berkeley, April 1991
C.A. Szyperski: Insight ETHOS — On Object-Orientation in Operating Systems. PhD Thesis. Diss. No. 9456, ETH Zürich, 1991
C.Szyperski: Independently Extensible Systems — Software Engineering Potential and Challenges. Proceedings of the 19th Australasian Computer Science Conference, Melbourne, Australia, January 31–February 2, 1996
W.Weck: On Document-Centered Mathematical Component Software. PhD Thesis. Diss. No. 1181, ETH Zürich, 1996
N. Wirth, J. Gutknecht: Project Oberon. The Design of an Operating System and Compiler. Addison-Wesley, Reading, MA, 1992
N.Wirth: A Plea For Lean Software. IEEE Computer, pp. 64–68, Febr. 1995
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weck, W. (1997). An abstract data type for freezable lists and DAGs. In: Mössenböck, H. (eds) Modular Programming Languages. JMLC 1997. Lecture Notes in Computer Science, vol 1204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62599-2_34
Download citation
DOI: https://doi.org/10.1007/3-540-62599-2_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62599-5
Online ISBN: 978-3-540-68328-5
eBook Packages: Springer Book Archive