"One of the software system currently under development at Brown University is used to model directed hypergraphs."

"In these graphs, hyperarcs are sets of source and destination branches connected to source nodes and destination nodes, respectively. Source (destination) branches are attached to nodes at output (input) ports. The design takes advantage of the inheritance and dynamic binding features provided in C++ to capture semantic constraints on the different objects in the model."

"Work on the development of several software systems in C++ suggested a series of queries that programmers are likely to make ... static type lookup, declaration lookup, definition lookup, cross-reference information, inheritance information, class information, and polymorphic functions."