We demonstrate MITra, a system for synthesizing Multi-Instance graph Traversal algorithms that traverse from multiple source vertices simultaneously over a single thread. Underlying MITra is an ...

Java implementation of a binary search tree supporting standard operations such as insertion, deletion, and traversal. Includes balancing and node management.