{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:53Z","timestamp":1750308113876,"version":"3.41.0"},"reference-count":7,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1974,2,1]],"date-time":"1974-02-01T00:00:00Z","timestamp":128908800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSAM Bull."],"published-print":{"date-parts":[[1974,2]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/1086823.1086828","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"10-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Toward a revision of FORMAC"],"prefix":"10.1145","volume":"8","author":[{"given":"Knut A.","family":"Bahr","sequence":"first","affiliation":[{"name":"Southern Illinois University at Carbondale"}]}],"member":"320","published-online":{"date-parts":[[1974,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086803.1086807"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086809.1086812"},{"key":"e_1_2_1_3_1","volume-title":"User's Manual for the Formula Manipulation Language SYMBAL","author":"Engeli M. E.","year":"1969","unstructured":"M. E. Engeli : User's Manual for the Formula Manipulation Language SYMBAL . University of Texas at Austin Computation Center , TRM-8.01, July , 1969 . M. E. Engeli: User's Manual for the Formula Manipulation Language SYMBAL. University of Texas at Austin Computation Center, TRM-8.01, July, 1969."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/800204.806300"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Boston Programming Center","author":"Hearn A. C.","year":"1969","unstructured":"A. C. Hearn : \" The Problem of Substitution \". Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Boston Programming Center , June 1969 . A. C. Hearn: \"The Problem of Substitution\". Proceedings of the 1968 Summer Institute on Symbolic Mathematical Computation, IBM Boston Programming Center, June 1969."},{"key":"e_1_2_1_6_1","volume-title":"REDUCE2 User's Manual\". Stanford Memo AIM-133","author":"Hearn A. C.","year":"1970","unstructured":"A. C. Hearn : \" REDUCE2 User's Manual\". Stanford Memo AIM-133 , Stanford University , October 1970 . A. C. Hearn: \"REDUCE2 User's Manual\". Stanford Memo AIM-133, Stanford University, October 1970."},{"key":"e_1_2_1_7_1","volume-title":"PL\/I-FORMAC Symbolic Mathematics Interpreter","author":"Tobey R. G.","year":"1969","unstructured":"R. G. Tobey : \" PL\/I-FORMAC Symbolic Mathematics Interpreter \". IBM Contributed Program Library , 360D-03.3.004, September , 1969 . R. G. Tobey et al.: \"PL\/I-FORMAC Symbolic Mathematics Interpreter\". IBM Contributed Program Library, 360D-03.3.004, September, 1969."}],"container-title":["ACM SIGSAM Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086823.1086828","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086823.1086828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:13Z","timestamp":1750262893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086823.1086828"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974,2]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1974,2]]}},"alternative-id":["10.1145\/1086823.1086828"],"URL":"https:\/\/doi.org\/10.1145\/1086823.1086828","relation":{},"ISSN":["0163-5824"],"issn-type":[{"type":"print","value":"0163-5824"}],"subject":[],"published":{"date-parts":[[1974,2]]},"assertion":[{"value":"1974-02-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}