Efficient Immutable Collections

Doctoral thesis English OPEN
Steindorfer, Michael;
(2017)

This thesis proposes novel and efficient data structures, suitable for immutable collection libraries, that carefully balance memory footprint and runtime performance of operations, and are aware of constraints and platform co-design challenges on the Java Virtual Machi... View more
  • References (7)

    7.1 Recapitulation of Research Questions . . . . . . . . . . . . . . . . . . . 144 7.2 Future Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147 7.3 Takeaway . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149 Ted J. Biggerstaff. “A Perspective of Generative Reuse”. In: Annals of Software Engineering 5.1 (1998) (cit. on pp. 7, 18, 27, 68, 73).

    Richard S. Bird. “Two Dimensional Pattern Matching”. In: Information Processing Letters 6.5 (1977) (cit. on p. 28).

    Thomas Braibant, Jacques-Henri Jourdan, and David Monniaux. “Implementing Hashconsed Structures in Coq”. In: ITP '13: Proceedings of the 4th International Conference on Interactive Theorem Proving. LNCS. Springer, 2013 (cit. on pp. 8, 116).

    Joshua Bloch. Effective Java, Second Edition. Addison-Wesley, 2008 (cit. on pp. 8, 88, 89).

    Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, and Christophe Ringeissen. “An Overview of ELAN”. In: WRLA '98: International Workshop on Rewriting Logic and its Applications. Ed. by Claude Kirchner and Hélène Kirchner.

    Vol. 15. ENTCS. Elsevier, 1998 (cit. on pp. 8, 116).

    Phil Bagwell and Tiark Rompf. RRB-Trees: Efficient Immutable Vectors. Tech. rep. EPFLREPORT-169879. Ecole polytechnique fédérale de Lausanne, 2011 (cit. on pp. 15, 29, 43, 68).

  • Related Research Results (2)
  • Similar Research Results (1)
  • Metrics
Share - Bookmark