I spent a while exploring this during grad school, but it seemed like a non-starter for two reasons: a) It requires the graph to only be accessed in one way. F

I spent a while exploring this during grad school, but it seemed like a non-starter for two reasons: a) It requires the graph to only be accessed in one way. For example anything data-driven like binary tree search is out. b) At least in languages without copying collectors (my focus was C programs) it requires the graph to be immutable or mostly immutable.