The Role of Lazy Evaluation in Amortized Data Structures Export

@inproceedings{citeulike:213407, abstract = {Traditional techniques for designing and analyzing amortized data structures in an imperative setting are of limited use in a functional setting because they apply only to singlethreaded data structures, yet functional data structures can be non-single-threaded. In earlier work, we showed how lazy evaluation supports functional amortized data structures and described a technique (the banker's method) for analyzing such data structures. In this paper, we present a new analysis technique (the...}, author = {Okasaki, Chris}, booktitle = {Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '96)}, citeulike-article-id = {213407}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/okasaki96role.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/okasaki96role.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/okasaki96role.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/okasaki96role.html}, keywords = {data-structures, functional, laziness}, pages = {62--72}, posted-at = {2005-05-28 17:03:17}, priority = {2}, title = {The Role of Lazy Evaluation in Amortized Data Structures}, url = {http://citeseer.ist.psu.edu/okasaki96role.html}, volume = {31(6)}, year = {1996} }

TY - CONF ID - citeulike:213407 L3 - citeulike-article-id:213407 N2 - Traditional techniques for designing and analyzing amortized data structures in an imperative setting are of limited use in a functional setting because they apply only to singlethreaded data structures, yet functional data structures can be non-single-threaded. In earlier work, we showed how lazy evaluation supports functional amortized data structures and described a technique (the banker's method) for analyzing such data structures. In this paper, we present a new analysis technique (the... EP - 72 TI - The Role of Lazy Evaluation in Amortized Data Structures VL - 31(6) T2 - Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '96) SP - 62 KW - data-structures KW - functional KW - laziness AU - Okasaki, Chris PY - 1996/// UR - http://citeseer.ist.psu.edu/okasaki96role.html ER -