Work

A session with Tinker: Interleaving program testing with program design

Year: 1980

Type: conference-paper

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.

Source: ACM Conference on LISP and Functional Programming (LFP)

DOI: 10.1145/800087.802794

Authors: Henry Lieberman, Carl Hewitt

Institution: Massachusetts Institute of Technology

Language: English

Topic: Teaching and Learning Programming

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Office of Naval Research

Award: G8876996369