Theory and Practice of Chunked Sequences-Reference-Cited by-同舟云学术

Theory and Practice of Chunked Sequences

Author:

Acar Umut A.,Charguéraud Arthur,Rainey Mike

Publisher

Springer Berlin Heidelberg

Link

Reference14 articles.

1. Acar, U.A., Charguéraud, A., Rainey, M.: Theory and practice of chunked sequences, http://deepsea.inria.fr/chunkedseq (full version)

2. Bernardy, J.-P.: The Haskell yi package, http://hackage.haskell.org/package/yi-0.6.2.3/docs/src/Data-Rope.html

4. Buchsbaum, A.L.: Data-structural bootstrapping and catenable deques. PhD thesis, Princeton University (1993)

5. Stanford Large Network Dataset Collection. Friendster graph, http://snap.stanford.edu/data/com-Friendster.html

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. PaC-trees: supporting parallel and compressed purely-functional collections;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

2. Specification and verification of a transient stack;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11

3. Persistence for the masses: RRB-vectors in a systems language;Proceedings of the ACM on Programming Languages;2017-08-29

4. Higher-order representation predicates in separation logic;Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs;2016-01-18

5. A work-efficient algorithm for parallel unordered depth-first search;Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis;2015-11-15