A session with Tinker: Interleaving program testing with program design

Tinker is an experimental interactive programming system which integrates program testing with program design. New procedures are created by working out the steps of the procedure in concrete situations. Tinker displays the results of each step as it is performed, and constructs a procedure for the general case from sample calculations. The user communicates with Tinker mostly by selecting operations from menus on an interactive graphic display rather than by typing commands. This paper presents a demonstration of our current implementation of Tinker.

[1]  David A. Moon,et al.  The Lisp Machine manual , 1981, SGAR.

[2]  Paul Pangaro,et al.  Eom: a graphically scripted, simulation-based animation system , 1977 .

[3]  David Canfield Smith,et al.  Pygmalion: a creative programming environment. , 1975 .

[4]  Carl Hewitt,et al.  Laws for Communicating Parallel Processes , 1977, IFIP Congress.

[5]  Brian Cantwell Smith,et al.  Towards a programming apprentice , 1974, IEEE Transactions on Software Engineering.

[6]  S. Peter de Jong,et al.  The System for Business Automation (SBA): Programming language , 1976, Commun. ACM.

[7]  Henry Lieberman,et al.  Specifying and Proving Properties of Guardians for Distributed Systems , 1979, Semantics of Concurrent Computation.

[8]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[9]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[10]  Carl Hewitt,et al.  Evolutionary Programming with the Aid of A Programmers' Apprentice , 1979 .

[11]  Gael A. Curry,et al.  Programming by abstract demonstration. , 1978 .

[12]  Henry Lieberman,et al.  Security and Modularity in Message Passing , 1979 .

[13]  S. Peter de Jong,et al.  The System for Business Automation: Programming Language , 1976, Conference on Data: Abstraction, Definition and Structure.

[14]  Gerald Jay Sussman,et al.  Programming Viewed as an Engineering Activity , 1978 .

[15]  Richard C. Waters.  Automatic Analysis of the Logical Structure of Programs , 1978 .

[16]  Richard C. Waters,et al.  Computer aided evolutionary design for software engineering , 1981, SGAR.

[17]  M. ZloofM..  Query-by-example , 1977 .

[18]  Alan W. Biermann,et al.  Constructing Programs from Example Computations , 1976, IEEE Transactions on Software Engineering.