A session with Tinker: Interleaving program testing with program design

ABSTRACT

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.

REFERENCES

• 1: Bauer, M. "Programming by Examples", Artificial Intelligence, May 1979
• 2: Biermann, A. W. and Ramachandran K., "Constructing Programs from Example Computations", IEEE Transactions on Software Engineering, Vol. SE-2, No. 3, September 1976.
• 3: Curry, G. J. "Programming by Abstract Demonstration" Technical Report No. 78-03-02. Dept. of Computer Science. U. of Washington. March 1978.
• 4: DeJong, S. P., Zloof, M. "System for Business Automation: Programming Language" Communications of the ACM, May 1978.
• 5: DeJong, S. P., Zloof, M. "Query by Example" IBM T. J. Watson Research Center Technical Report
• 6: Hewitt, C. "Viewing Control Structures as Patterns of Passing Messages" A.I. Journal. Vol. 8. No. 3. June 1977. pp. 323-364.
• 7: Hewitt, C. E. "Procedural Semantics: Models of Procedures and Teaching of Procedures", in Natural Language Processing, Randall Rustin Ed., Algorithmics Press, 1972.
• 8: Hewitt, C. and Smith, B. "Towards a Programming Apprentice" IEEE Transactions on Software Engineering. SE-1, #1. March 1975. pp 26-54.
• 9: Hewitt, C. "Evolutionary Programming with the Aid of a Programmers' Apprentice" MIT AI Lab Working Paper 188. May 1979.
• 10: Hewitt, C.; Attardi, G.; and Lieberman, H. "Security and Modularity in Message Passing", First International Conference on Distributed Computing, Huntsville, Alabama, October 1979
• 11: Carl Hewitt , Giuseppe Attardi , Henry Lieberman, Specifying and Proving Properties of Guardians for Distributed Systems, Proceedings of the International Sympoisum on Semantics of Concurrent Computation, p.316-336, July 02-04, 1979
• 12: Hewitt, C. and Baker, H. "Laws for Communicating Parallel Processes" Proceedings of IFIP Congress 77, Toronto, August 8-12, 1977. pp. 987-992.
• 13: Glenford J. Myers, Art of Software Testing, John Wiley & Sons, Inc., New York, NY, 1979
• 14: Michener, Edwina, "Constrained Example Generation", University of Massachusetts at Amherst technical report
• 15: Pangaro, P., Steinberg, S., Davis, J. and McCann, B., "EOM: A Graphically Scripted, Simulation Based Animation System", Architecture Machine Group, 1977
• 16: Rich, C., Shrobe, H.E. and Waters, R.C., Sussman, G.J., and Hewitt, C.E., "Programming Viewed as an Engineering Activity", MIT AI Memo 459, January 1978.
• 17: Rich, C., Shrobe, H.E. and Waters, R.C., "Computer Aided Evolutionary Design for Software Engineering", MIT AI Memo 506, January 1979.
• 18: Shrobe, H., "Logic and Reasoning for Complex Program Understanding", MIT PhD. Thesis, October 1978.
• 19: Simon, H., "The Heuristic Compiler" Memorandum RM-3588-PR. The Rand Corporation. May 1963.
• 20: Smith, D. C., "PYGMALION: A Creative Programming Environment", Stanford AIM-260, June 1975.
• 21: Richard C. Waters, Automatic Analysis of the Logical Structure of Programs, Massachusetts Institute of Technology, Cambridge, MA, 1978
• 22: Daniel Weinreb, Lisp machine manual, Massachusetts Institute of Technology, 1981

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.6 Programming Environments
          Subjects: Interactive environments

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
      D.2.5 Testing and Debugging
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: LISP

General Terms:
Languages, Verification