FORMAC an experimental formula manipulation Compiler

Bond, Elaine R.; Auslander, Marc; Grisoff, S.; Kenney, R.; Myszewski, M.; Sammet, Jean Ε.; Tobey, R. G.; Zilles, Sandra

doi:10.1145/800257.808916

Cited by 22 publications

(7 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The Formac system [2] was developed shortly after the introduction of Fortran. Symbolic algebra was an important branch of the artificial intelligence project at Mit during the sixties.…”

Section: Motivation Behind Mathemagixmentioning

confidence: 99%

Interfacing mathemagix with C++

Hoeven¹,

Lecerf²

2013

Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation

View full text Add to dashboard Cite

show abstract

“…The Formac system [2] was developed shortly after the introduction of Fortran. Symbolic algebra was an important branch of the artificial intelligence project at Mit during the sixties.…”

Section: Motivation Behind Mathemagixmentioning

confidence: 99%

Interfacing mathemagix with C++

Hoeven¹,

Lecerf²

2013

Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation

View full text Add to dashboard Cite

show abstract

“…Originally FORMAC was intended only as an experiment, and there was no plan to make it available outside of IBM. In April 1964 the first complete version was successfully running after extensive testing, and papers on it appeared in the literature [33,341. As a result of pressure from numerous people who were interested in trying the system, and also as a way of obtaining feedback from users that would lead to better systems in the future, FORMAC was released in November 1964 but with no committed maintenance or support for it.…”

Section: Formacmentioning

confidence: 99%

History of IBM's Technical Contributions to High Level Programming Languages

Sammet

1981

IBM J. Res. & Dev.

View full text Add to dashboard Cite

This paper discusses ZBMs technical contributions to high level programming languages from the viewpoint of speciJic languages and their contributions to the technology. The philosophy used in this paper is that it is the appropriate collection of features in a language which generally makes the contribution to the technology, rather than an individual feature. Those ZBM languages deemed to have made major contributions are (in alphabetical order) APL, FORTRAN, GPSS, and PLII. Smaller contributions (because of lesser general usage) have been made by Commercial Translator, CPS, FOR-MAC, QUIKTRAN, and SCRATCHPAD. Major contributions were made in the area of formal definition of languages, through the introduction of BNF (Backus-Naur Form) for defining language syntax and VDL (Vienna Definition Language) for semantics. The definition of the term "programming language" has been unclear and controversial almost from the beginning of computer activity. In this paper, "programming Copyright 1981 by International Business Machines Corporation. Copying is permitted without payment of royalty provided that (1) each reproduction is done without alteration and (2) the Journal reference and IBM copyright notice are included on the first page. 520 The title and abstract may be used without further permission in computer-based and other information-service systems. Permission to republish other excerpts should be obtained from the Editor.

show abstract

“…Mr. Richard Sherin of the Biometric Laboratory wrote a routine to obtain further terms in this expansion. He coded this program in July 1964 with only a preprint of [11] as documentation of the FOHMAC programming language. It required a total of one man-week to learn FouMAC, code the program, debug the program and obtain results.…”

Section: Calculation Of the Incomplete Beta Funetionmentioning

confidence: 99%

“…Recent developments include ALPAK [5][6][7], Formula ALGOL [S, 9] and FORMAC [10][11][12]. Each of these is a programming system designed to provide some type of mathemathical expression manipulation capability.…”

Section: Introductionmentioning

confidence: 99%

Eliminating monotonous mathematics with FORMAC

Tobey

1966

Commun. ACM

View full text Add to dashboard Cite

The FORMAC (FORmula MAnipulation Compiler) programming system provides a powerful tool for performing mathematical analysis. It is an extension of FORTRAN IV which permits the use of the computer to perform the tedious algebraic computations that arise in many different fields. Among the areas in which it has been successfully used are: differentiation of complicated expressions, expansion of truncated power series, solution of simultaneous equations with literal coefficients, nonlinear maximum likelihood estimation, tensor analysis, and generation of the coefficients of equations in Keplerian motion. These types of analysis-which arose in the solution of specific practical problems in physics, engineering, astronomy, statistics and astronautics-are discussed in the paper.In addition to its usage for specific problem solutions, FORMAC can also be used to automate the analysis phase in certain production programming. Several such applications are presented.

show abstract

FORMAC an experimental formula manipulation Compiler

Cited by 22 publications

References 0 publications

Interfacing mathemagix with C++

Interfacing mathemagix with C++

History of IBM's Technical Contributions to High Level Programming Languages

Eliminating monotonous mathematics with FORMAC

Contact Info

Product

Resources

About