Visual programming, programming by example, and program visualization: a taxonomy

ABSTRACT

There has been a great interest recently in systems that use graphics to aid in the programming, debugging, and understanding of computer programs. The terms “Visual Programming” and “Program Visualization” have been applied to these systems. Also, there has been a renewed interest in using examples to help alleviate the complexity of programming. This technique is called “Programming by Example.” This paper attempts to provide more meaning to these terms by giving precise definitions, and then uses these definitions to classify existing systems into a taxonomy. A number of common unsolved problems with most of these systems are also listed.

REFERENCES

• Albizuri-Romero 84: Miren Begona Albizuri-Romero, GRASE: a graphical syntax-directed editor for structured programming, ACM SIGPLAN Notices, v.19 n.2, p.28-37, February 1984 [doi>10.1145/948566.948567]
• Attardi 82: Giuseppe Attardi , Maria Simi, Extending the power of programming by examples, Proceedings of the SIGOA conference on Office information systems, p.52-66, June 21-23, 1982, Philadelphia, Pennsylvannia, United States
• Baecker 68: R.M.Baecker. "Experiments in On-Line Graphical Debugging: The Interrogation of Complex Data Structures," (Summary only) First Hawaii International Conference on the System Sciences. Jan. 1968. pp. 128-129.
• Baecker 75: Ron Baecker, Two systems which produce animated representations of the execution of computer programs, ACM SIGCSE Bulletin, v.7 n.1, p.158-167, February 1975
• Baecker 81: Ron Baecker, Sorting out Sorting, 16Imin color, sound film, 25 Ininutes. Dynamics Graphics Project, Computer Systems Research Institute, University of Toronto, Toronto, Ontario, Canada. 1981. Presented at ACM SIG- GRAPH'81. Dallas, TX. Aug. 1981.
• Baecker 86: R. Baecker , A. Marcus, Design principles for the enhanced presentation of computer program source text, Proceedings of the SIGCHI conference on Human factors in computing systems, p.51-58, April 13-17, 1986, Boston, Massachusetts, United States
• Bauer 78: Michael Anthony Vincent Bauer, A basis for the acquisition of procedures., 1978
• Biermann 76a: Alan W. Biermann. "Approaches to Automatic Programming," Advances in Computers, Morris Rubinoff and Marshall C. Yovitz, eds. (15) New York: Academic Press, 1976. pp. 1-63.
• Biermann 76b: Alan W. Biermann and Ramachandran Krishnaswamy. "Constructing Programs from Example Computations," IEEE Transactions on Software Engineering. SE- 2(3) Sept. 1976. pp. 141-153.
• Borning 79: Alan Borning. Thinglab--A Constraint-Oriented Simulation Laboratory. Xerox Palo Alto Research Center Technical Report SSL-79-3. July, 1979.
• Borning 81: Alan Borning, The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.353-387, Oct. 1981 [doi>10.1145/357146.357147]
• Borning 86: A. Borning, Defining constraints graphically, Proceedings of the SIGCHI conference on Human factors in computing systems, p.137-143, April 13-17, 1986, Boston, Massachusetts, United States
• Brown 84: Marc H. Brown , Robert Sedgewick, A system for algorithm animation, Proceedings of the 11th annual conference on Computer graphics and interactive techniques, p.177-186, January 1984
• Brown 85: Gretchen P. Brown, Richard T. Curling, Christopher F. Herot, David A. Kramlich, and Paul Souza. "Program Visualization: Graphical Support for Software Development," IEEE Computer. 18{8) Aug. 1985. pp. 27-35.
• Christensen 68: Carlos Christensen. "An Example of the Manipulationof Directed Graphs in the AMBIT/G Programming Language," in interactive Systems for Experimental Applied Mathematics, MeDin Klerer and Juris Reinfelds, eds. New York: Academic Press, 1968. pp. 423-435.
• Christensen 71: Carlos Christensen, An introduction to AMBIT/L, a diagrammatic language for list processing, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.248-260, March 23-25, 1971, Los Angeles, California, United States [doi>10.1145/800204.806294]
• Ellis 69: T.O. Ellis, J.F. Heafner and W.L. Sibley. The Grail Project: An Experiment in Man-Machine Communication. RAND Report RM-5999-Arpa. 1969.
• Glinert 84: Ephraim P. Gilnert , Steven L. Tanimoto, PICT: an interactive graphical programming environment, Computer, v.17 n.11, p.7-25, Nov. 1984 [doi>10.1109/MC.1984.1658997]
• Gould 84: Laura Gould and William Finzer. Programming by Rehearsal. Xerox Palo Alto Research Center Technical Report SCL-84-1. May, 1984. 133 pages. Excerpted in Byte. 9(6) June, 1984.
• Grafton 85: Robert B. GraRon and Tadao Ichikawa, eds. IEEE Computer, Special Issue on Visual Programming. 18(8) Aug. 1985.
• Haibt 59: Lois M. Haibt. "A Program to Draw Multi-Level Flow Charts," Proceedings of the Western Joint Computer Conference. San Francisco, CA. 15 Mar. 3-5, 1959. pp. 131-137.
• Halbert 81: Daniel C. Halbert. An Example of Programming by Example. Masters of Science Thesis. Computer Science Division, Dept. of EE&CS, University of California, Berkeley and Xerox Corporation Office Products Division, Palo Alto, CA. June, 1981.
• Halbert 84: Daniel Conrad Halbert, Programming by example, 1984
• Jacob 85: Robert J.K. Jacob. "A State Transition Diagram Language for Visual Programming," IEEE Computer. 18(8) Aug. 1985. pp. 51-59.
• Lieberman 82: Henry Lieberman. "Constructing Graphical User Interfaces by Example," Graphics Interface'82, Toronto, Ont. Mar. 17-21, 1982. pp. 295-302.
• London 85: Ralph L. London and Robert A. Druisberg. "Animating Programs in Smalltalk," {EEE Computer. 18(8) Aug. 1985. pp. 61-71.
• Moriconi 85: Mark Moriconi and Dwight F. Hare. "Visualizing Program Designs Through PegaSys," IEEE Computer. 18(8) Aug. 1985. pp. 72-85.
• Myers 80: Brad A. Myers. Displaying Data Structures for Interacff, ve Debugging. Xerox Palo Alto Research Center Technical Report CSL-80-7. June, 1980.
• Myers 83: Brad A. Myers, INCENSE: A system for displaying data structures, Proceedings of the 10th annual conference on Computer graphics and interactive techniques, p.115-125, July 25-29, 1983, Detroit, Michigan, United States
• Nassi 73: I. Nassi , B. Shneiderman, Flowchart techniques for structured programming, ACM SIGPLAN Notices, v.8 n.8, p.12-26, August 1973 [doi>10.1145/953349.953350]
• Oxford 83: Dictionary of Computing. Oxford: Oxford University Press, 1983.
• Pietrzykowski 83: Thomas Pietrzykowski, Stanislaw Matwin, and Tomasz Muldner. "The Programming Language PRO- GRAPH: Yet Another Application of Graphics," Graphics Interface'83, Edmonton, Alberta. May 9-13, 1983. pp. 143- 145.
• Pietrzykowski 84: T. Pietrzykowski and S. Matwin. PRO- GRAPH: A Preliminary Report. University of Ottawa Technical Report TR-84-07. April, 1984.
• Pong 83: M.C. Pong and N. Ng. "Pigs--A System for Programming with Interactive Graphical Support," Software-- Practice and Experience. 13(9) Sept. 1983. pp. 847-855.
• Raeder 85: Georg Raeder. "A Survey of Current Graphical Programming Techniques," IEEE Computer. 18(8) Aug. 1985. pp. 11-25.
• Rovner 69: P.D. Rovner and D.A. Henderson, Jr. "On the Implementation of AMBIT/G: A Graphical Programming Language," Proceedings of the International Joint Conference on Artificial Intelligence. Washington, D.C. May 7-9, 1969, pp. 9-20.
• Shaw 75: David E. Shaw, William R. Swartout, and C. Cordell Green. "Inferring Lisp Programs from Examples," Fourth International Joint Conference on Artificial Intelligence. Tbilisi, USSR. Sept. 3-8, 1975. 1 pp. 260-267.
• Shneiderman 83: Ben Shneiderman. "Direct Manipulation: A Step Beyond Programming Languages," IEEE Computer. 16(8) Aug. 1983. pp. 57-69.
• Shu 85: Nan C. Shu. ~'FORMAL: A Forms-Oriented Visual- Directed Application Development System," IEEE Computer. 18(8) Aug. 1985. pp. 38-49.
• Smith 77: David C. Smith. Pygmalion: A Computer Program to Model and Stimulate Creative Thought. Basel, Stuttgart: Birkhauser, 1977.
• Smith 82: David C. Smith, Charles Irby, Ralph Kimball, Bill Verplank, and Erik Harslem. "Designing the Star User Interface," Byte Magazine. April 1982. pp. 242-282.
• Sutherland 63: Ivan E. Sutherland. "SketchPad: A Man- Machine Graphical Communication System," AFIPS Spring Joint Computer Conference. 23 1963. pp. 329-346.
• Sutherland 66: William R. Sutherland. On.line Graphical Specification of Computer Procedures. MIT PhD Thesis. Lincoln Labs Report TR-405. 1966.
• Williams 84: Gregg Williams. '~The Apple Macintosh Computer," Byte Magazine. 9(2) February 1984. pp. 30-54.
• Zloof 77: Moshé M. Zloof , S. Peter de Jong, The system for business automation (SBA): programming language, Communications of the ACM, v.20 n.6, p.385-396, June 1977 [doi>10.1145/359605.359615]
• Zloof 81: Moshe M. Zloof. "QBE/OBE: A Language for Office and Business Automation," IEEE Computer. 14(5) May, 1981. pp. 13-22.

INDEX TERMS

Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Flow charts
      D.2.5 Testing and Debugging
          Subjects: Debugging aids

  I. Computing Methodologies
  I.3 COMPUTER GRAPHICS
      I.3.6 Methodology and Techniques
          Subjects: Languages

General Terms:
Design, Documentation, Human Factors, Languages