An extension to ALGOL for manipulating formulae

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An extension to ALGOL for manipulating formulae

Full text

Pdf (406 KB)

Source

Communications of the ACM archive
Volume 7 , Issue 2 (February 1964) table of contents

Pages: 127 - 130

Year of Publication: 1964

ISSN:0001-0782

Authors

A. J. Perlis	Carnegie Institute of Technology, Pittsburgh, PA
Renato Iturriaga	Carnegie Institute of Technology, Pittsburgh, PA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 13, Citation Count: 15

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/363921.363943 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	SLAGLE, JAMES R. A heuristic program that solves symbolic integration problems in freshman calculus (SAINT). 5G-0001, Lincoln Laboratories, M.I.T., Lexington, Mass., May 1961, 110 pp.
	2	H. Gelernter , J. R. Hansen , C. L. Gerberich, A Fortran-Compiled List-Processing Language, Journal of the ACM (JACM), v.7 n.2, p.87-101, April 1960 [doi>10.1145/321021.321022]
	3	J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger , P. Naur, Revised report on the algorithm language ALGOL 60, Communications of the ACM, v.6 n.1, p.1-17, Jan. 1963 [doi>10.1145/366193.366201]
	4	John McCarthy, Recursive functions of symbolic expressions and their computation by machine, Part I, Communications of the ACM, v.3 n.4, p.184-195, April 1960 [doi>10.1145/367177.367199]
	5	COMIT Programmer's Reference Manual. The M.I.T. Press, Cambridge, Mass., 1962, 61 pp.
	6	Robert W. Floyd, A Descriptive Language for Symbol Manipulation, Journal of the ACM (JACM), v.8 n.4, p.579-584, Oct. 1961 [doi>10.1145/321088.321096]
	7	MILNE-THOMPSON, L. M. The Calculus of Finite Differences, p. 119. MacMillan, 1933.
	8	WHITTAKER, E. W., AND WATSON, G. N. Modern Analysis, p. 133. Cambridge Press, 1952.

CITED BY 15

	A. Caracciolo di Forino , L. Spanedda , N. Wolkenstein, PANON-1B: A programming language for symbol manipulation, Proceedings of the first ACM symposium on Symbolic and algebraic manipulation, p.0601-0615, January 1966
	C. Christensen, Programming Languages for Non-Numeric Processing—1: examples of symbol manipulation in the AMBIT Programming Language, Proceedings of the 1965 20th national conference, p.247-261, August 24-26, 1965, Cleveland, Ohio, United States
	Jean E. Sammet, Survey of formula manipulation, Communications of the ACM, v.9 n.8, p.555-569, Aug. 1966
	Saul Rosen, Compilers for student jobs, Proceedings of the 1964 19th ACM national conference, p.141.301-141.302, January 1964
	Barry Lawrence Wolman, Operators for manipulating language structures, Proceedings of the first ACM symposium on Symbolic and algebraic manipulation, p.1601-1628, January 1966
	Jean E. Sammet, The beginning and development of FORMAC (FORmula MAnipulation Compiler), ACM SIGPLAN Notices, v.28 n.3, p.209-230, March 1993
	William F. Atchison , Samuel D. Conte , John W. Hamblen , Thomas E. Hull , Thomas A. Keenan , William B. Kehl , Edward J. McCluskey , Silvio O. Navarro , Werner C. Rheinboldt , Earl J. Schweppe , William Viavant , David M. Young, Jr., Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science, Communications of the ACM, v.11 n.3, p.151-197, March 1968
	Robert G. Tobey, Eliminating monotonous mathematics with FORMAC, Communications of the ACM, v.9 n.10, p.742-751, Oct. 1966
	B. F. Caviness, On Canonical Forms and Simplification, Journal of the ACM (JACM), v.17 n.2, p.385-396, April 1970
	Arnold Lapidus , Max Goldstein, Some experiments in algebraic manipulation by computer, Communications of the ACM, v.8 n.8, p.501-508, Aug. 1965
	David A. Fisher, A survey of control structures in programming languages, ACM SIGPLAN Notices, v.7 n.11, November 1972
	Jean E. Sammet, The beginning and development of FORMAC: FORmula MAnipulation Compiler, History of programming languages---II, ACM Press, New York, NY, 1996
	Renato Iturriaga , Thomas A. Standish , Rudolph A. Krutar , Jackson C. Earley, Techniques and advantages of using the formal compiler writing system FSL to implement a Formula Algol compiler, Proceedings of the April 26-28, 1966, Spring joint computer conference, April 26-28, 1966, Boston, Massachusetts
	Carl Engelman, MATHLAB: a program for on-line machine assistance in symbolic computations, Proceedings of the November 30--December 1, 1965, fall joint computer conference, part II: computers: their impact on society, November 30-December 01, 1965, Las Vegas, Nevada
	Kenneth Lock, Structuring programs for multiprogram time-sharing on-line applications, Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I, November 30-December 01, 1965, Las Vegas, Nevada