Proceedings Article10.1145/800087.802794
A session with Tinker: Interleaving program testing with program design
Henry Lieberman,Carl Hewitt +1 more
- 25 Aug 1980
- pp 90-99
37
TL;DR: This paper presents a demonstration of the current implementation of Tinker, an experimental interactive programming system which integrates program testing with program design and constructs a procedure for the general case from sample calculations.
read more
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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Techniques for Algorithm Animation
Marc H. Brown,Robert Sedgewick +1 more
TL;DR: Allowing a user to interact with dynamically changing graphical representations of algorithms or data structures may help in teaching, research, or systems programming.
242
Editing by example
TL;DR: An editing by example system derived from an efficient heuristic that provably synthesizes a gap program from examples of its input/output behavior is embedded in a production text editor.
108
Editing by example
Robert Nix
- 15 Jan 1984
TL;DR: By developing an editing by example system that solves a useful class of text processing problems, this paper demonstrates that program synthesis is feasible in the domain of text editing.
82
A spreadsheet interface for logic programming
TL;DR: PERPLEX as discussed by the authors is a programming environment intended for the end-user that combines logic programming and spreadsheets, and it is based on the concepts of spreadsheets and logic programming.
48
A program testing assistant
TL;DR: The testing assistant acts as a fully integrated part of the programming environment and cooperates with existing programming tools such as a display editor, compiler, interpreter, and debugger.
References
Viewing control structures as patterns of passing messages
TL;DR: A light sensing apparatus is described which employs a GaAsP MOS light-receiving element to which a potential is applied for creating a depletion region.
1.2K
•Proceedings Article
Laws for Communicating Parallel Processes
Henry G. Baker,Carl Hewitt +1 more
- 10 May 1977
TL;DR: This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology on parallel processes, parallel or asynchronous computations, partial orders of events, Actor theory.
234
The Lisp Machine manual
Daniel Weinreb,David Moon +1 more
TL;DR: This 471-page, softcover manual describes the programming language and software environment of the Lisp Machine developed at M.I.T.'s Artificial Intelligence Laboratory over the past 8 years.
218
The system for business automation (SBA): programming language
Moshe M. Zloof,S. Peter de Jong +1 more
TL;DR: The system for business automation (SBA) is a system within which application experts—nonprogrammers—can describe and execute their applications on a computer.
89