Experiments with a Heuristic Compiler

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Experiments with a Heuristic Compiler

Full text

Pdf (838 KB)

Source

Journal of the ACM (JACM) archive
Volume 10 , Issue 4 (October 1963) table of contents

Pages: 493 - 506

Year of Publication: 1963

ISSN:0004-5411

Author

Herbert A. Simon

Carnegie Institute of Technology, Pittsburgh, Pennsylvania and The RAND Corporation, Santa Monica, California

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 22

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/321186.321192 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	NEWELL, A., SHAW, J. C., AND SIMON, H. A. Report on a general problem-solving program for a computer. Informalion Processing: Proc. Internat. Conf. Inform. Processing, pp. 256-264. Paris: UNESCO, 1960.
	2	SIMON H.A. Experiments with a heuristic compiler. The RAND Corp., Report p-2349, June 30, 1961.
	3	NEWELL, A. (Ed.) Infi)rmation Processing Language-V Manual. Prentice-Hall, 1961.

CITED BY 22

	Christopher W. Fraser, A knowledge-based code generator generator, ACM SIGPLAN Notices, v.12 n.8, p.126-129, August 1977
	Bernard Elspas , Karl N. Levitt , Richard J. Waldinger , Abraham Waksman, An Assessment of Techniques for Proving Program Correctness, ACM Computing Surveys (CSUR), v.4 n.2, p.97-147, June 1972
	James R. Slagle, Experiments with a deductive question-answering program, Communications of the ACM, v.8 n.12, p.792-798, Dec. 1965
	Bruce W. Arden, The role of programming in a Ph.D. computer science program, Communications of the ACM, v.12 n.1, p.31-37, Jan. 1969
	Bertram Raphael, The structure of programming languages, Communications of the ACM, v.9 n.2, p.67-71, Feb. 1966
	Peter Freeman, Automating software design, Proceedings of the 10th workshop on Design automation, p.62-67, June 25-27, 1973
	Manfred Kochen, Automatic Question-Answering of English-Like Questions About Simple Diagrams, Journal of the ACM (JACM), v.16 n.1, p.26-48, Jan. 1969
	D. Barstow, Artificial intelligence and software engineering, Proceedings of the 9th international conference on Software Engineering, p.200-211, March 1987, Monterey, California, United States
	Zohar Manna , Richard J. Waldinger, Toward automatic program synthesis, Communications of the ACM, v.14 n.3, p.151-165, March 1971
	T. E. Cheatham, Jr , Ben Wegbreit, A laboratory for the study of automating programming, ACM SIGSAM Bulletin
	Yulia Korukhova, An approach to automatic deductive synthesis of functional programs, Annals of Mathematics and Artificial Intelligence, v.50 n.3-4, p.255-271, August 2007
	Larry E. Travis, Experiments with a theorem-utilizing program, Proceedings of the April 21-23, 1964, spring joint computer conference, April 21-23, 1964, Washington, D.C.
	Daniel G. Bobrow, Syntactic analysis of English by computer: a survey, Proceedings of the November 12-14, 1963, fall joint computer conference, November 12-14, 1963, Las Vegas, Nevada
	T. E. Cheatham, Jr. , Ben Wegbreit, A laboratory for the study of automating programming, Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada
	Michael R. Lowry, Automatic programming, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	J. E. Sammet, Challenge to artificial intelligence: programming problems to be solved, Proceedings of the 2nd international joint conference on Artificial intelligence, p.59-65, September 01-03, 1971, London, England
	P. Freeman , A. Newell, A model for functional reasoning in design, Proceedings of the 2nd international joint conference on Artificial intelligence, p.621-640, September 01-03, 1971, London, England
	David R. Barstow, The roles of knowledge and deduction in program synthesis, Proceedings of the 6th international joint conference on Artificial intelligence, p.37-43, August 20-23, 1979, Tokyo, Japan
	Cordell Green, Application of theorem proving to problem solving, Proceedings of the 1st international joint conference on Artificial intelligence, p.219-239, May 07-09, 1969, Washington, DC
	Elliot B. Koffman , Sumner E. Blount, Artificial intelligence and automatic programming in CAI, Proceedings of the 3rd international joint conference on Artificial intelligence, p.86-94, August 20-23, 1973, Stanford, USA
	Richard J. Waldinger , Richard C. T. Lee, PROW: a step toward automatic program writing, Proceedings of the 1st international joint conference on Artificial intelligence, p.241-252, May 07-09, 1969, Washington, DC
	K. E. Kennedy, A concurrent automatic programming system, Proceedings of the 46th Annual Southeast Regional Conference on XX, March 28-29, 2008, Auburn, Alabama