A Session with TINKER: Interleaving Program Testing with Program Design

Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6341

Full metadata record

DC Field	Value	Language
dc.creator	Lieberman, Henry	-
dc.creator	Hewitt, Carl	-
dc.date	2004-10-04T14:52:18Z	-
dc.date	2004-10-04T14:52:18Z	-
dc.date	1980-09-01	-
dc.date.accessioned	2013-10-09T02:44:54Z	-
dc.date.available	2013-10-09T02:44:54Z	-
dc.date.issued	2013-10-09	-
dc.identifier	AIM-577	-
dc.identifier	http://hdl.handle.net/1721.1/6341	-
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721	-
dc.description	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.	-
dc.format	12024421 bytes	-
dc.format	9036312 bytes	-
dc.format	application/postscript	-
dc.format	application/pdf	-
dc.language	en_US	-
dc.relation	AIM-577	-
dc.title	A Session with TINKER: Interleaving Program Testing with Program Design	-
Appears in Collections:	MIT Items

Files in This Item:

There are no files associated with this item.

DSpace JSPUI