Abstract
Almost every programmer has faced the problem of
representing a tree together with a
subtree that is the focus of attention, where that focus may
move left, right, up or down the tree. The Zipper is Huet's nifty name for a nifty data structure which fulfills this need. I wish I had known of it when I faced this task, because the solution
I came up with was not quite so efficient or elegant as the Zipper.
Publisher
Cambridge University Press (CUP)
Cited by
170 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Practical Deductive Verification of OCaml Programs;Lecture Notes in Computer Science;2024-09-13
2. A Coq Mechanization of JavaScript Regular Expression Semantics;Proceedings of the ACM on Programming Languages;2024-08-15
3. The Functional Essence of Imperative Binary Search Trees;Proceedings of the ACM on Programming Languages;2024-06-20
4. Zipper-based embedding of strategic attribute grammars;Journal of Systems and Software;2024-05
5. A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14