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): 1, Downloads (12 Months): 25, Citation Count: 15

Additional Information:

references cited by index terms collaborative colleagues peer to peer

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 15

	Michael R. Lowry, Automatic programming, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	Bertram Raphael, The structure of programming languages, Communications of the ACM, v.9 n.2, p.67-71, Feb. 1966
	James R. Slagle, Experiments with a deductive question-answering program, Communications of the ACM, v.8 n.12, p.792-798, Dec. 1965
	Christopher W. Fraser, A knowledge-based code generator generator, ACM SIGPLAN Notices, v.12 n.8, p.126-129, August 1977
	Peter Freeman, Automating software design, Proceedings of the 10th workshop on Design automation, p.62-67, June 25-27, 1973
	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.
	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
	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, Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada
	T. E. Cheatham, Jr , Ben Wegbreit, A laboratory for the study of automating programming, ACM SIGSAM Bulletin
	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
	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
	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
	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
	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