skip to main content
article
Free Access

Toward a revision of FORMAC

Published:01 February 1974Publication History
Skip Abstract Section

Abstract

A survey is given of some of the new facilities that have been implemented in FORMAC in an attempt to overcome current deficiencies and move towards a more powerful system.

References

  1. K. Bahr: "An Interesting Bug in FORMAC". SIGSAM Bulletin, No. 25, March, 1973. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. K. Bahr: "A Speed-up of FORMAC". SIGSAM Bulletin, No. 27, September, 1973. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. M. E. Engeli: User's Manual for the Formula Manipulation Language SYMBAL. University of Texas at Austin Computation Center, TRM-8.01, July, 1969.Google ScholarGoogle Scholar
  4. R. T. Fateman: "The User-Level Semantic Matching Capability in MACSYMA". Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation, Los Angeles, 1971. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. A. C. Hearn: "The Problem of Substitution". Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Boston Programming Center, June 1969.Google ScholarGoogle Scholar
  6. A. C. Hearn: "REDUCE2 User's Manual". Stanford Memo AIM-133, Stanford University, October 1970.Google ScholarGoogle Scholar
  7. R. G. Tobey et al.: "PL/I-FORMAC Symbolic Mathematics Interpreter". IBM Contributed Program Library, 360D-03.3.004, September, 1969.Google ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGSAM Bulletin
    ACM SIGSAM Bulletin  Volume 8, Issue 1
    February 1974
    15 pages
    ISSN:0163-5824
    DOI:10.1145/1086823
    Issue’s Table of Contents

    Copyright © 1974 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 February 1974

    Check for updates

    Qualifiers

    • article

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader