H ? « ‹ ← → › »

Language peer sets for FORMAC:
United States↑
United States/1962↑
Designed 1962 ↑
1960s languages ↑
Second generation↑
Early Cold War↑
Genus Formulaic ↑
Non-numerical Scientific ↑
Formulaic↑
Mathematical↑
Expression-oriented ↑
Formulaic/1962↑
Mathematical/1962↑
Expression-oriented/1962↑
Formulaic/United States↑
Mathematical/United States↑
Expression-oriented/United States↑
Non-numerical Scientific ↑
Non-numerical Scientific/1962↑
Non-numerical Scientific/us ↑

FORMAC(ID:158/for019)

FORmula MAnipulation Compiler

alternate simple view

Country: United States
Designed 1962
Published: 1962
Genus: Formulaic
Sammet category: Non-numerical Scientific

An extension of FORTRAN which does many types of algebraic manipulation on general mathematical expressions. (Sammett 1966)

FORmula MAnipulation Compiler. J. Sammet & Tobey, IBM Boston APD, 1962.
Extension of FORTRAN for symbolic math.

People:

Related languages

FORTRAN II	→	FORMAC		Extension of
FORMAC	→	ALBERT		Extension of
FORMAC	→	Clemens and Matzner		Extension of
FORMAC	→	Desktop Calculator Formac		Subset
FORMAC	→	IAM		Strong, Influence
FORMAC	→	PL/I-FORMAC		Variant
FORMAC	→	REDUCE 2		Incorporated some features of
FORMAC	→	Scope FORMAC		Extension of
FORMAC	→	SYMFORM		Conversational system for

Samples:

References:

Tobey, R. G. (1962) Tobey, R. G. "Equivalence Recognition for Algebraic Expressions," Applied Mathematics 220 Research Project, Harvard University Computation Laboratory, June 1962.

[IBM] User's Preliminary Reference Manual for the (1964) [IBM] User's Preliminary Reference Manual for the Experimental Formula Manipulation Compiler (FORMAC), IBM, Boston Advanced Programming Dept., Cambridge, Mass. (1964).

Bond, E., M. Auslander , S. Grisoff , R. Kenney , (1964) Bond, E., M. Auslander , S. Grisoff , R. Kenney , M. Myszewski , J. Sammet , R. Tobey , S. Zilles, "FORMAC an experimental formula manipulation Compiler" Abstract
in (1964) Proceedings of the 19th ACM national conference January 1964

Sammet, J. E., and Bond, E.R. (1964) Sammet, J. E., and Bond, E.R. "Introduction to FORMAC"
in (1964) IEEE Transactions on Electronic Computers Vol EC-13 August 1964 (Special Issue on Programming Languages)

[IBM] FORMAC No. (1965) [IBM] FORMAC No. 7090 R2 IBM 0016, IBM Program Inf. Dept., Hawthorne, N. Y., Aug. 1965
in (1964) IEEE Transactions on Electronic Computers Vol EC-13 August 1964 (Special Issue on Programming Languages)

Goldstein (1965) Goldstein, M. "Computer Languages" The American Mathematical Monthly, Vol. 72, No. 2, Part 2: Computers and Computing Feb., 1965 pp141-146 Extract: Languages scene
in (1964) IEEE Transactions on Electronic Computers Vol EC-13 August 1964 (Special Issue on Programming Languages)

Lederman, D. M. (1965) Lederman, D. M. "Application of FORMAC to generating functions"
in (1965) FORMAC User's Symposium, June, 1965

Sammet, Jean E. (1965) Sammet, Jean E. "Formula Manipulation by Computer," IBM Technical Report TR00. 1363, November 1965.
in (1965) FORMAC User's Symposium, June, 1965

Sconzo, P.; Leschack, A. R.; Tobey, R. (1965) Sconzo, P.; Leschack, A. R.; Tobey, R. "Symbolic computation of F and G series by computer" Astronomical Journal, 70(04) p269ff Abstract Extract: Details
in (1965) FORMAC User's Symposium, June, 1965

Toner, R. G., Bobrow, R. J., AND Zilles, S.N. (1965) Toner, R. G., Bobrow, R. J., AND Zilles, S.N. "Automatic simplification in FORMAC"
in [AFIPS JCC 28] (1965) [AFIPS JCC 28] Proceedings of the 1965 Fall Joint Computer Conference FJCC 1965

Bleiweiss, L., Bond, E., Cundall, P., AND Hirschko (1966) Bleiweiss, L., Bond, E., Cundall, P., AND Hirschkop, R. "A time-shared algebraic desk calculator version of FORMAC". Tech. Rep. No. TR00.1415, IBM, Sys. Develop. Div., Poughkeepsie, N. Y., Mar. 1966
in [AFIPS JCC 28] (1965) [AFIPS JCC 28] Proceedings of the 1965 Fall Joint Computer Conference FJCC 1965

Bond, E.R., et al, (1966) Bond, E.R., et al, "Design of FORMAC Implementation" Listed as scheduled for inclusion in IBM SJ 1966, but did not appear
in (1966) IBM Systems Journal 5 (1966)

Bond, Elaine R. (1966) Bond, Elaine R. "History, features, and commentary on FORMAC" Abstract Extract: Introduction Extract: History of FORMAC Project Extract: Capability
in [ACM] (1966) [ACM] Proceedings of the ACM symposium on Symbolic and algebraic manipulation, 1966

Collins GE and JH Griesmer, (1966) Collins GE and JH Griesmer, "Comparison of Computing Times in ALPAK, FORMAC, PM, and Korsvold's System," SICSAM Bulletin, No. 4, September 1966.
in [ACM] (1966) [ACM] Proceedings of the ACM symposium on Symbolic and algebraic manipulation, 1966

Cuthill, E. (1966) Cuthill, E. "A FORMAC program for the solution of linear boundary and initial value problems" pp801-850 Abstract
in [ACM] (1966) [ACM] Proceedings of the ACM symposium on Symbolic and algebraic manipulation, 1966

(1966) Ketselman review of Tobey 1965 (FORMAC) Extract: CALTRAN Extract: FORMAC
in (1966) ACM Computing Reviews 7(06) November-December 1966

Leith, D. (1966) Leith, D. A. review of Tobey and Bobrow 1965 (FORMAC) Abstract
in (1966) ACM Computing Reviews 7(03) May-June 1966

Sammet, Jean E. (1966) Sammet, Jean E. "Survey of formula manipulation"
in [ACM] (1966) [ACM] CACM 9(08) August 1966

Tobey, R. G. (1966) Tobey, R. G. "Experience with FORMAC Algorithm Design" Abstract
in [ACM] (1966) [ACM] CACM 9(08) August 1966

Tobey, Robert G. (1966) Tobey, Robert G. "Eliminating monotonous mathematics with FORMAC" Abstract Extract: Introduction
in [ACM] (1966) [ACM] CACM 9(10) October 1966

Ferriera, S. (1967) Ferriera, S. K. ; R. Sobet, and B. G. Wrenn. ?On the application of FORMAC computes programs to aid in the symbolic formulation and solution of engineering and scientific problems? Lockheed Missiles and Space Co Palo Alto Calif Lockheed Palo Alto Research Lab un 67, Abstract
in [ACM] (1966) [ACM] CACM 9(10) October 1966

(1967) Ralston, A review of Tobey 1966 (FORMAC) Abstract
in (1967) ACM Computing Reviews 8(01) January-February 1967

Sammet, Jean E. (1967) Sammet, Jean E. "Formula Manipulation by Computer"
in Advances in Computers, Vol. (1967) Advances in Computers, Vol. 8 FL Alt and M Rubinoff (Eds.), Academic Press, New York, 1967

Sammet, Jean E., (1967) Sammet, Jean E., "Roster of Programming Languages 1967"
in (1967) Computers & Automation 16(6) June 1967

Sconzo, P. (1967) Sconzo, P. "A heuristic approach to the introduction of a universal variable" Memorie della Societa Astronomia Italiana, Vol. 38, p.85 1967
in (1967) Computers & Automation 16(6) June 1967

Tobey, R. G. (1967) Tobey, R. G. "Algorithms for Antidifferentiation - Rational Functions," Ph.D. Thesis, Harvard University, June 1967.
in (1967) Computers & Automation 16(6) June 1967

Tobey, R. G. (1967) Tobey, R. G. "PL/I FORMAC Interpreter - User's Reference Manual," Contributed Program Library, IBM Program Information Department, Hawthorne, New York, 360D-03.3.004, November 1967.
in (1967) Computers & Automation 16(6) June 1967

Davis, M. S. (1968) Davis, M. S. "Programming Systems for Analytical Developments on Computers" The Astronomical Journal 73(3) April 1968 Extract: Introduction Extract: FORMAC
in (1967) Computers & Automation 16(6) June 1967

Leschack, A. R.; Sconzo, P. (1968) Leschack, A. R.; Sconzo, P. "FORMAC Language and its Application to Celestial Mechanics" Astronomical Journal, Vol. 73, p. 217 1968 Abstract Extract: Symbolic Manipulation by Computer
in (1967) Computers & Automation 16(6) June 1967

Sammet, Jean E. (1968) Sammet, Jean E. "Revised Annotated Descriptor Based Bibliography for the Use of Computers for Non-Numerical Mathematics"
in Bobrow, D. G. (ed) (1968) Bobrow, D. G. (ed) "Symbol Manipulation Languages and Techniques", Proceedings of the IFIP Working Conference on Symbol Manipulation Languages. North-Holland Publishing Co., Amsterdam, 1968

Sammet, Jean E. (1969) Sammet, Jean E. "Computer Languages - Principles and History" Englewood Cliffs, N.J. Prentice-Hall 1969. pp.474-491.
in Bobrow, D. G. (ed) (1968) Bobrow, D. G. (ed) "Symbol Manipulation Languages and Techniques", Proceedings of the IFIP Working Conference on Symbol Manipulation Languages. North-Holland Publishing Co., Amsterdam, 1968

Tobey (1969) Tobey, R G "Investigating symbolic mathematical computation using PL/1 FORMAC batch system and Scope FORMAC interactive system"
in Tobey (ed) (1969) Tobey, R. G. (ed) Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Federal Systems Center, Gaithersburg, Maryland, July-August 1968, IBM Programming Laboratory Report No. FSC-69-0312 (proceedings published June 1969).

Tobey, R. G. (1969) Tobey, R. G. "PL/I FORMAC Symbolic Mathematics Interpreter," Contributed Program Library, IBM Program Information Department, Hawthorne, New York, 360D-03.3.004, August 1969.
in Tobey (ed) (1969) Tobey, R. G. (ed) Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Federal Systems Center, Gaithersburg, Maryland, July-August 1968, IBM Programming Laboratory Report No. FSC-69-0312 (proceedings published June 1969).

Tobey, R. G. (1969) Tobey, R. G. "Significant Problems in Symbolic Mathematics"
in Tobey (ed) (1969) Tobey, R. G. (ed) Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Federal Systems Center, Gaithersburg, Maryland, July-August 1968, IBM Programming Laboratory Report No. FSC-69-0312 (proceedings published June 1969).

Tobey, R. G. and Lipson, J. D. (1969) Tobey, R. G. and Lipson, J. D. "The Scope FORMAC Language"
in Tobey (ed) (1969) Tobey, R. G. (ed) Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Federal Systems Center, Gaithersburg, Maryland, July-August 1968, IBM Programming Laboratory Report No. FSC-69-0312 (proceedings published June 1969).

Barton, D. and Fitch, J.P. (1971) Barton, D. and Fitch, J.P. "General Relativity and the Application of Algebraic Manipulative Systems"
in [ACM] (1971) [ACM] CACM 14(08) August 1971

Stock (1971) Stock, Karl F. "A listing of some programming languages and their users" in RZ-Informationen. Graz: Rechenzentrum Graz 1971 104 Abstract
in [ACM] (1971) [ACM] CACM 14(08) August 1971

Tobey, RG (1971) Tobey, RG "Symbolic mathematical computation - introduction and overview"
in [SYMSAM 71] (1971) [ACM] Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971 Los Angeles (SYMSAM 71)

[Computer Sciences Corp] (1972) [Computer Sciences Corp] "FORMAC Integration Program for IBM 7094" Computer Sciences Corp., El Segundo, Calif. in COSMIC 1972 Abstract
in [SYMSAM 71] (1971) [ACM] Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971 Los Angeles (SYMSAM 71)

Barton and Fitch (1972) Barton, D and Fitch, JP "A review of algebraic manipulative programs and their application" Abstract
in The Computer Journal (1972) The Computer Journal 15(4) 1972

Benesch, Robert (1972) Benesch, Robert "Algebraic 1 Matrices and Radial Momentum Distributions from Hylleraas-Type Wave Functions. S Ground States of He and He-Like lons" Physical Review A Volume 6, Number 2 August 1972 Abstract Extract: FORMAC
in The Computer Journal (1972) The Computer Journal 15(4) 1972

Sammet (1972) Sammet, Jean E., "Roster of Programming Languages 1972" 102
in (1972) Computers & Automation 21(6B), 30 Aug 1972

Sammet, Jean E. (1973) Sammet, Jean E. "Roster of Programming Languages for 1973" p147
in (1974) ACM Computing Reviews 15(04) April 1974

Stock and Stock (1973) Stock, Marylene and Stock, Karl F. "Bibliography of Programming Languages: Books, User Manuals and Articles from PLANKALKUL to PL/I" Verlag Dokumentation, Pullach/Munchen 1973 241 Abstract
in (1974) ACM Computing Reviews 15(04) April 1974

van Hulzen (1974) van Hulzen, J. A. "FORMAC today, or what can happen to an orphan", ACM SIGSAM Bulletin, 8(1), February 1974 pp5-7 Extract: Introduction: The simple past Extract: TUTOR
in (1974) ACM Computing Reviews 15(04) April 1974

Engelman, C. (1976) Engelman, C. "Algebraic Manipulation Languages" Extract: FORMAC Extract: Symbolic systems
in Encyclopedia of Computer Science, Ralston, Anthony (1976) Encyclopedia of Computer Science, Ralston, Anthony, and Meek, Chester L. (eds) New York, NY Petrocelli/Charter 1976

Sammet, Jean E (1978) Sammet, Jean E "Roster of programming languages for 1976-77" pp56-85
in [SIGPLAN] (1978) SIGPLAN Notices 13(11) Nov 1978

Allen, F. E. (1981) Allen, F. E. "The history of language processor technology in IBM" pp535-548.
in [IBM] (1981) IBM Journal of Research and Development, 25(5), September 1981 25th anniversary issue

Sammet, Jean E. (1981) Sammet, Jean E. "History of IBM's Technical Contributions to High Level Programming Languages" pp520ff
in [IBM] (1981) IBM Journal of Research and Development, 25(5), September 1981 25th anniversary issue

Kerner, L.O. (1982) Kerner, L.O. review of Allen 1981 in ACM Computing Reviews September 1982 Abstract
in [IBM] (1981) IBM Journal of Research and Development, 25(5), September 1981 25th anniversary issue

Smillie, K W. (1982) Smillie, K W. review of Sammet 1981 in ACM Computing Reviews September 1982 Abstract
in [IBM] (1981) IBM Journal of Research and Development, 25(5), September 1981 25th anniversary issue

Rosenblatt, Bruce (1984) Rosenblatt, Bruce "The Successors to FORTRAN-Why Does FORTRAN Survive?"
in (1982) Annals of the History of Computing 4(1) January 1982 IEEE

Geddes et al (1992) Geddes, K.O. ; Czapor S.R. and G. Labahn, "Algorithms for Computer Algebra" Kluwer Academic Publishers, Boston, 1992 Extract: Extract from Chapter one
in (1982) Annals of the History of Computing 4(1) January 1982 IEEE

James H. Griesmer (1993) James H. Griesmer "A brief introduction to FORMAC"
in [HOPL II] (1993) [ACM SIGPLAN] SIGPLAN Notices 28(03) March 1993 The second ACM SIGPLAN conference on History of programming languages (HOPL II)

Sammet, Jean E. (1993) Sammet, Jean E. "The beginning and development of FORMAC (FORmula MAnipulation Compiler)" Abstract
in [HOPL II] (1993) [ACM SIGPLAN] SIGPLAN Notices 28(03) March 1993 The second ACM SIGPLAN conference on History of programming languages (HOPL II)

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder