Semantics and applications of function graphs

Function graphs provide graphical models of programs based on function application. The uses of such models include provision of a semantic framework for functional programs, explication of the structure of complex systems based on function application, increasing proximity of programs to certain application domains, resolution of ambiguities in programs based upon systems of equations, and representation of executable programs in machines based upon data flow execution. Application examples and underlying theory of function graphs are presented.