Backtracking iterators

Proceedings of the ACM SIGPLAN 2006 Workshop on ML

Volumn 2006, Issue , 2006, Pages 54-62

  Filliâtre, Jean Christophe ^a  

^a CNRS   (France)

Author keywords

Backtracking; Iteration; Persistent data structures

Indexed keywords

BINARY TREES; COMPUTER PROGRAMMING LANGUAGES; DIGITAL LIBRARIES; ITERATIVE METHODS; QUEUEING THEORY; TREES (MATHEMATICS);

BACKTRACKING; IMMUTABLE CURSORS; PERSISTENT DATA STRUCTURES;

TRACKING (POSITION);

EID: 34247348223     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159876.1159885     Document Type: Conference Paper

References (13)

1. Ocamlgraph, a graph library for Objective Caml. http://www.lri.fr/ ~filliatr/ocamlgraph/
2. The Objective Caml language, http://caml.inria.fr/.
3. Dariusz Biernacki, Olivier Danvy, and Chung chieh Shan. On the Static and Dynamic Extents of Delimited Continuations. Technical Report RS-05-36, BRICS, 2005. To appear in the journal Science of Computer Programming.
4. Sylvain Conchon, Jean-Christophe Filliâtre, and Julien Signoles. Designing a Generic Graph Library using ML Functors. Submitted for publication, http://www.lri.fr/~filliatr/ocamlgraph/main.ps, May 2006.
5. James O. Coplien. Advanced C++ Programming Styles and Idioms. Addison-Wesley, 1992.
6. Olivier Danvy and Lasse R. Nielsen. Defunctionalization at Work. In Søndergaard, editor, 3rd International Conference on Principles and Practice of Declarative Programming (PPDP '01), June 2001.
7. Ralf Hinze and Johan Jeuring. Functional Pearl: Weaving a Web. Journal of Functional Programming, 11(6):681-689, November 2001.
8. Gérard Huet. The Zipper. Journal of Functional Programming, 7(5):549-554, Septembre 1997.
9. Oleg Kiselyov. From enumerators to cursors: turning the left fold inside out, 2004. At http://okmij.org/ftp/Haskell/fold-stream.lhs.
10. John McCarthy. Another samefringe. SIGART Newsletter, 61, February 1977.
11. Chris Okasaki. Purely Functional Data Structures. Cambridge University Press, 1998.
12. Chris Okasaki. Breadth-First Numbering: Lessons from a Small Exercise in Algorithm Design. In International Conference on Functional Programming (ICFP), Montreal, Canada, 2000.
13. Richard Rasala. A Model C++ Tree Iterator Class For Binary Search Trees. In Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education SIGCSE, 1997.