An abstract data type for freezable lists and DAGs

  • Wolfgang Weck
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1204)


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.


Design Pattern Computer Algebra System Linear Type Abstract Data Type Pattern Node 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    H.G. Baker: Use-Once' Variables and Linear Objects — Storage Management, Reflection and Multi-Threading. ACM Sigplan Notices 30, 1, 1995Google Scholar
  2. 2.
    H.J. Boehm, R. Atkinson, M. Plass: Ropes Are Better Than Strings. Technical Report CSL-94-10, Xerox Corporation, Palo Alto Research Center, 1994Google Scholar
  3. 3.
    B. Char, K. Geddes, G. Gonnet, B. Leong, M. Monagan, and S. Watt: Maple V Language Reference Manual. Springer-Verlag, New York, 1991Google Scholar
  4. 4.
    E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns. Addison Wesley, Reading, MA, ISBN 0-201-63361-2, 1995Google Scholar
  5. 5.
    C.A.R. Hoare: Monitors: An operating system structuring concept. Comm. ACM 17, 10, Oct. 1974Google Scholar
  6. 6.
    C.A.R. Hoare: Recursive Data Structures. International Journal of Computer and Information Sciences, June 4, 2, 1975Google Scholar
  7. 7.
    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, 1988Google Scholar
  8. 8.
    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, 1996Google Scholar
  9. 9.
    The Oberon/F User's Guide. Oberon microsystems, Inc., Basel, Switzerland, ( 1994Google Scholar
  10. 10.
    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 1991Google Scholar
  11. 11.
    C.A. Szyperski: Insight ETHOS — On Object-Orientation in Operating Systems. PhD Thesis. Diss. No. 9456, ETH Zürich, 1991Google Scholar
  12. 12.
    C.Szyperski: Independently Extensible Systems — Software Engineering Potential and Challenges. Proceedings of the 19th Australasian Computer Science Conference, Melbourne, Australia, January 31–February 2, 1996Google Scholar
  13. 13.
    W.Weck: On Document-Centered Mathematical Component Software. PhD Thesis. Diss. No. 1181, ETH Zürich, 1996Google Scholar
  14. 14.
    N. Wirth, J. Gutknecht: Project Oberon. The Design of an Operating System and Compiler. Addison-Wesley, Reading, MA, 1992Google Scholar
  15. 15.
    N.Wirth: A Plea For Lean Software. IEEE Computer, pp. 64–68, Febr. 1995Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Wolfgang Weck
    • 1
  1. 1.Åbo Akademi UniversityTurku

Personalised recommendations