: Pictures can provide concrete metaphors, which make it easier to grasp an abstract idea. Raeder's justification of visual programming is largely psychological in nature, and can be verified only through empirical studies. The basic premise, however, is quite plausible. Programmers commonly use pictures to develop algorithms or data structures and to communicate them to other programmers. There have been several attempts to measure the benefits of visual languages and of program visualization systems. Pandey and Burnett [62] conducted an empirical comparison between Forms/3 [7] (a form-based visual language), Pascal, and APL. They investigated the usefulness of these languages in a very narrow problem domain, namely matrix multiplication. In particular, they tested how well the test subjects could solve two problems with each language: appending two matrices of compatible size, and computing the first n Fibonacci numbers. They conducted this test on 60 students. All of the students...
|
1628
|
Foundations of Logic Programming
– Lloyd
|
|
407
|
Sketchpad, A Man-Machine Graphical Communication System
– Sutherland
- 1963
|
|
323
|
Logic for Problem Solving
– Kowalski
- 1979
|
|
265
|
The CLP(R) language and system
– Jaffar, Michaylov, et al.
- 1992
|
|
229
|
The Application Visualization System: A Computational Environment for Scientific Visualization
– Upson, Faulhaber, et al.
- 1989
|
|
217
|
Principal type schemes for functional programs
– Milner, Damas
- 1982
|
|
174
|
An overview of Prolog
– Nadathur, Miller
- 1988
|
|
156
|
A non-strict functional language with polymorphic types
– Miranda
|
|
150
|
A head-mounted three dimensional display
– Sutherland
- 1968
|
|
126
|
A polymorphic type system for Prolog
– Mycroft, O'Keefe
- 1984
|
|
118
|
The ultimate display
– Sutherland
- 1965
|
|
112
|
The undecidability of the second-order unification problem
– Goldfarb
- 1981
|
|
78
|
A Theory of Type Polymorphism
– Milner
- 1978
|
|
78
|
Pavane: a system for declarative visualization of concurrent computations
– Roman, Cox, et al.
|
|
67
|
The Transparent Prolog Machine (TPM): an execution model and graphical debugger for logic programming
– Eisenstadt, Brayshaw
- 1988
|
|
67
|
Complete Visualizations of Concurrent Programs and their Executions
– Kahn, Saraswat
|
|
53
|
Computer Graphics
– Hearn, Baker
- 1994
|
|
52
|
Typed Prolog: A semantic reconstruction of the Mycroft-O’Keefe type system
– Lakshman, Reddy
- 1991
|
|
49
|
Janus: A step towards distributed constraint programming
– Saraswat, Kahn, et al.
- 1990
|
|
46
|
Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
– Can
- 1978
|
|
43
|
Algorithm animation using 3D interactive graphics
– Brown, Najork
- 1993
|
|
43
|
New graphical reasoning models for understanding graphical interfaces
– Furnas
- 1991
|
|
37
|
Three-Dimensional Computation Visualization
– Stasko, Whrli
- 1992
|
|
36
|
PYGMALION: A Creative Programming Environment
– Smith
- 1975
|
|
33
|
A three-dimensional representation for program execution
– Lieberman
- 1989
|
|
32
|
Pict: An Interactive Graphical Programming Environment,” Computer
– Glinert, Tanimoto
- 1984
|
|
32
|
Implementing Functional Languages
– Jones
- 1992
|
|
30
|
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs
– Chen, Kifer, et al.
- 1989
|
|
26
|
Pygmalion: A Computer Program to Model and Stimulate Creative Thought, Birkhauser
– Smith
- 1977
|
|
23
|
A framework for abstract 3d visualization
– Reiss
- 1993
|
|
20
|
Trestle reference manual
– Nelson
- 1991
|
|
20
|
A survey of current graphical programming techniques
– Raeder
- 1985
|
|
19
|
An application of three-dimensional visualization to objectoriented programming
– Koike
- 1992
|
|
19
|
The CUBE language
– Najork, Kaplan
- 1991
|
|
18
|
Is It Easier to Write Matrix Manipulation Programs Visually or Textually? An Empirical Study
– Pandey, Burnett
|
|
17
|
A Visual Language for Keyboardless Programming
– Kimura, Choi, et al.
- 1986
|
|
17
|
and Gopalan Nadathur. Higher-order logic programming
– Miller
- 1986
|
|
15
|
Enhancing Show-and-Tell with a polymorphic type system and higher-order functions
– Najork, Golin
- 1990
|
|
14
|
Abstraction in algorithm animation
– Cox, Roman
- 1992
|
|
13
|
Hilog: A first-order semantics for higher-order logic programming constructs
– Chen, Kifer, et al.
- 1989
|
|
12
|
Lazy ML User's Manual
– Augustsson, Johnsson
- 1992
|
|
12
|
The Fabrik Programming Environment
– Chow, Doyle, et al.
- 1987
|
|
11
|
Hyperflow: A Visual Programming Language for Pen Computers
– Kimura
- 1992
|
|
11
|
A Visual Logic Programming languages based on Sets and Partitioning constraints
– Spratt, Ambler
- 1993
|
|
10
|
viz: A visual language based on functions
– Holt
- 1990
|
|
10
|
Visual Programming. Van Nostrand Reinhold
– Shu
- 1988
|
|
10
|
The on-Line Graphical Specification of Computer Procedures
– Sutherland
- 1966
|
|
9
|
Abstraction in the demand-driven, temporal-assignment, visual language model
– Burnett
- 1991
|
|
9
|
Types and type inference in a visual programming language
– Burnett
- 1993
|
|
9
|
Out of Flatland: Towards 3-D Visual Programming
– Glinert
- 1987
|
|
