A session with Tinker: Interleaving program testing with program design

Authors:
Henry Lieberman;Carl Hewitt
Affiliations:
-;-
Venue:
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Year:
1980

Citing 4
Cited 13

Art of Software Testing

Art of Software Testing
Specifying and Proving Properties of Guardians for Distributed Systems

Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Automatic Analysis of the Logical Structure of Programs

Automatic Analysis of the Logical Structure of Programs
Lisp machine manual

Lisp machine manual

Editing by example

ACM Transactions on Programming Languages and Systems (TOPLAS)
Language constructs for programming by example

COCS '86 Proceedings of the third ACM-SIGOIS conference on Office information systems
Constraint-based tools for building user interfaces

ACM Transactions on Graphics (TOG) - Special issue on user interface software
Out of Flatland: towards 3-D visual programming

ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Macros by Example in Graphical UIMS

IEEE Computer Graphics and Applications
A spreadsheet interface for logic programming

CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory

ACM Transactions on Programming Languages and Systems (TOPLAS)
A program testing assistant

Communications of the ACM
Editing by example

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Extending the power of programming by examples

Proceedings of the SIGOA conference on Office information systems
A software debugging glossary

ACM SIGPLAN Notices
Graphically defining new building blocks in ThingLab

Human-Computer Interaction
Liberating the programmer with prorogued programming

Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software

Quantified Score

Hi-index	0.02

Visualization

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.