* Carter is interested in the analysis of the static structure of software. To that end, he is implementing a tool to extract the control and data dependency information from development tools. His goal is to enable the information to be used to assist software developers through future software tools.