Article

Free access

A session with Tinker: Interleaving program testing with program design

Authors:

Henry Lieberman,

Carl HewittAuthors Info & Claims

LFP '80: Proceedings of the 1980 ACM conference on LISP and functional programming

Pages 90 - 99

https://doi.org/10.1145/800087.802794

Published: 25 August 1980 Publication History

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.

Digital Library

[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.

Digital Library

[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]

Hewitt, C.; Attardi, G.; and Lieberman, H. "Specifying and Proving Properties of Guardians for Distributed Systems", Proceedings of International Symposium on the Semantics of Concurrent Computation. Evian les bains, France. July 1979.

Digital Library

[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]

Meyers, Glenford, "The Art of Software Testing", Wiley, 1979.

Digital Library

[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]

Waters, R.C., "Automatic Analysis of the Logical Structure of Programs", MIT AI Laboratory TR-492, December 1978.

Digital Library

[22]

Weinreb, D., and Moon, D. "The Lisp Machine Manual" MIT AI Laboratory, November 1978.

Digital Library

Cited By

Reiss SXin QHuang JHuchard MKästner CFraser G(2018)SEEDE: simultaneous execution and editing in a development environmentProceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering10.1145/3238147.3238182(270-281)Online publication date: 3-Sep-2018
https://dl.acm.org/doi/10.1145/3238147.3238182
Reiss SXin QRosu GDi Penta MNguyen T(2017)A demonstration of simultaneous execution and editing in a development environmentProceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering10.5555/3155562.3155674(895-900)Online publication date: 30-Oct-2017
https://dl.acm.org/doi/10.5555/3155562.3155674
Afshari MBarr ESu ZLeavens GEdwards J(2012)Liberating the programmer with prorogued programmingProceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software10.1145/2384592.2384595(11-26)Online publication date: 19-Oct-2012
https://dl.acm.org/doi/10.1145/2384592.2384595
Show More Cited By

Index Terms

A session with Tinker: Interleaving program testing with program design
1. Software and its engineering

Recommendations

The Tinker tool for graphical tactic development

PSGraph (Grov et al. in LPAR. Springer, Berlin, pp 324---339, 2013) is a graphical language to support the development and maintenance of proof tactics for interactive theorem provers. By using labelled hierarchical graphs this formalisation improves ...
'The Tinker' for Rodin
ABZ 2016: Proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z - Volume 9675

PSGraph [3] is a graphical proof strategy language, which uses the formalisation of labelled hierarchical graphs to provide support for the development and maintenance of large and complex proof tactics. PSGraph has been implemented as the Tinker system,...
Empowering Learner-Centered Instruction: Integrating ChatGPT Python API and Tinker Learning for Enhanced Creativity and Problem-Solving Skills
Innovative Technologies and Learning
Abstract
This paper proposes an integrated teaching strategy incorporating the ChatGPT Python API in education, aligning with Learner- Centered Instruction (LCI) and Tinker Learning principles. The strategy promotes personalized learning by fostering ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

LFP '80: Proceedings of the 1980 ACM conference on LISP and functional programming

August 1980

247 pages

ISBN:9781450373968

DOI:10.1145/800087

Copyright © 1980 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 August 1980

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 30 of 109 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

47
Total Citations
View Citations
353
Total Downloads

Downloads (Last 12 months)40
Downloads (Last 6 weeks)7

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Reiss SXin QHuang JHuchard MKästner CFraser G(2018)SEEDE: simultaneous execution and editing in a development environmentProceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering10.1145/3238147.3238182(270-281)Online publication date: 3-Sep-2018
https://dl.acm.org/doi/10.1145/3238147.3238182
Reiss SXin QRosu GDi Penta MNguyen T(2017)A demonstration of simultaneous execution and editing in a development environmentProceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering10.5555/3155562.3155674(895-900)Online publication date: 30-Oct-2017
https://dl.acm.org/doi/10.5555/3155562.3155674
Afshari MBarr ESu ZLeavens GEdwards J(2012)Liberating the programmer with prorogued programmingProceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software10.1145/2384592.2384595(11-26)Online publication date: 19-Oct-2012
https://dl.acm.org/doi/10.1145/2384592.2384595
Brown P(2006)Dynamic program buildingSoftware: Practice and Experience10.1002/spe.438011080611:8(831-843)Online publication date: 27-Oct-2006
https://doi.org/10.1002/spe.4380110806
Kelly T(2003)Scalable TCPACM SIGCOMM Computer Communication Review10.1145/956981.95698933:2(83-91)Online publication date: 1-Apr-2003
https://dl.acm.org/doi/10.1145/956981.956989
Sheffer Ade Sturler E(2002)Smoothing an overlay grid to minimize linear distortion in texture mappingACM Transactions on Graphics10.1145/571647.57165121:4(874-890)Online publication date: 1-Oct-2002
https://dl.acm.org/doi/10.1145/571647.571651
Turk GO'Brien J(2002)Modelling with implicit surfaces that interpolateACM Transactions on Graphics10.1145/571647.57165021:4(855-873)Online publication date: 1-Oct-2002
https://dl.acm.org/doi/10.1145/571647.571650
Bederson BShneiderman BWattenberg M(2002)Ordered and quantum treemapsACM Transactions on Graphics10.1145/571647.57164921:4(833-854)Online publication date: 1-Oct-2002
https://dl.acm.org/doi/10.1145/571647.571649
Osada RFunkhouser TChazelle BDobkin D(2002)Shape distributionsACM Transactions on Graphics10.1145/571647.57164821:4(807-832)Online publication date: 1-Oct-2002
https://dl.acm.org/doi/10.1145/571647.571648
Selker E(1998)Cognitive Adaptive Computer Help (Coach): A Case Study10.1016/S0065-2458(08)60666-X(67-140)Online publication date: 1998
https://doi.org/10.1016/S0065-2458(08)60666-X
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents