Graph Applications in Programming

Graph theory, which used to be a purely academic discipline, is now increasingly becoming a prerequisite to effective application of computers in numerous applied fields. In the paper, current works are surveyed on creation of support tools for application of graphs in programming conducted by the Laboratory for Program Construction and Optimization of the Ershov Institute of Information Systems, Siberian Division, Russian Academy of Sciences. These works are supported by the Russian Foundation for Basic Research and the Ministry of Education. We start by considering the works on creation of an encyclopedia of graph algorithms for programmers. Techniques and tools for visual processing of graphs and graph models are described. An explanatory dictionary on graph theory in computer science and programming and its electronic version are discussed.

[1]  Victor N. Kasyanov,et al.  Graph Theory for Programmers , 2000 .

[2]  Michael Himsolt,et al.  GraphEd: a Graphical Platform for the Implementation of Graph Algorithms , 1994, GD.

[3]  Ioannis G. Tollis,et al.  Algorithms for Drawing Graphs: an Annotated Bibliography , 1988, Comput. Geom..

[4]  Donald E. Knuth,et al.  The art of computer programming, volume 3: (2nd ed.) sorting and searching , 1998 .

[5]  Georg Sander,et al.  Graph Layout through the VCG Tool , 1994, GD.

[6]  Claude Berge,et al.  Lectures on graph theory , 1967 .

[7]  William L. Ditto,et al.  Principles and applications of chaotic systems , 1995, CACM.

[8]  Victor N. Kasyanov,et al.  Some Properties of Fully Reducible Graphs , 1973, Inf. Process. Lett..

[9]  David Harel,et al.  On visual formalisms , 1988, CACM.

[10]  Kurt Mehlhorn,et al.  LEDA: a platform for combinatorial and geometric computing , 1997, CACM.

[11]  Matthias Ettrich,et al.  GraVis - System Demonstration , 1997, Graph Drawing.

[12]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[13]  Michael Fröhlich,et al.  Demonstration of the Interactive Graph-Visualization System da Vinci , 1994, GD.

[14]  Manfred Nagl,et al.  A Tutorial and Bibliographical Survey on Graph Grammars , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[15]  Alfred V. Aho,et al.  The Theory of Parsing, Translation, and Compiling , 1972 .

[16]  Hans-Jörg Kreowski,et al.  GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation , 1997, Bull. EATCS.

[17]  Patrick Madden,et al.  Portable Graph Layout and Editing , 1995, Graph Drawing.

[18]  V. N. Kas'yanov.  Analysis of program structure , 1980 .

[19]  Kozo Sugiyama,et al.  Visualization of structural information: automatic drawing of compound digraphs , 1991, IEEE Trans. Syst. Man Cybern..

[20]  Robert F. Cohen,et al.  Planarity for Clustered Graphs , 1995, ESA.

[21]  Ivan A. Lisitsyn,et al.  Higres - Visualization System for Clustered Graphs and Graph Algorithms , 1999, GD.

[22]  Michael Himsolt.  The Graphlet System , 1996, Graph Drawing.