FORMAC(ID:158/for019)

FORmula MAnipulation Compiler 

• Jean E Sammet
• Stephen Zilles

• Example

1962

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

1964

• [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)

1965

• [IBM] FORMAC No. (1965) [IBM] FORMAC No. 7090 R2 IBM 0016, IBM Program Inf. Dept., Hawthorne, N. Y., Aug. 1965
• 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
• 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.
• 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
• 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

1966

• 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
• 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.
• 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

1967

• 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
• (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
• Tobey, R. G. (1967) Tobey, R. G. "Algorithms for Antidifferentiation - Rational Functions," Ph.D. Thesis, Harvard University, 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.

1968

• 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
• 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
• 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

1969

• Sammet, Jean E. (1969) Sammet, Jean E. "Computer Languages - Principles and History" Englewood Cliffs, N.J. Prentice-Hall 1969. pp.474-491.
• 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.
• 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).

1971

• 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
• 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)

1972

• [Computer Sciences Corp] (1972) [Computer Sciences Corp] "FORMAC Integration Program for IBM 7094" Computer Sciences Corp., El Segundo, Calif. in COSMIC 1972 Abstract
• 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
• Sammet (1972) Sammet, Jean E., "Roster of Programming Languages 1972" 102
        in (1972) Computers & Automation 21(6B), 30 Aug 1972

1973

• 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

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

1976

• 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

1978

• 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

1981

• 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

1982

• Kerner, L.O. (1982) Kerner, L.O. review of Allen 1981 in ACM Computing Reviews September 1982 Abstract
• Smillie, K W. (1982) Smillie, K W. review of Sammet 1981 in ACM Computing Reviews September 1982 Abstract

1984

• 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

1992

• 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

1993

• 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)