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. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1980
Accession Number
ADA095521

Entities

People

  • Carl Hewitt
  • Henry Lieberman

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Air Platforms
  • Autonomy

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Automatic Programming
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Debugging
  • Demonstrations
  • Engineering
  • High Level Language Architecture
  • Language
  • Natural Language Processing
  • Programming Languages
  • Software Development
  • Software Testing
  • Test And Evaluation

Readers

  • Atmospheric Science/Meteorology
  • Database Systems and Applications
  • Software Engineering