{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T23:55:31Z","timestamp":1767916531070,"version":"3.49.0"},"reference-count":11,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1974,8,1]],"date-time":"1974-08-01T00:00:00Z","timestamp":144547200000},"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,8]]},"abstract":"<jats:p>This paper describes a measurement tool that has been used to analyze, tune, and redesign in part the PL\/I-FORMAC Symbolic Mathematics Interpreter. In a number of examples, details are given both on the FORMAC system and on the application of the measurement tool. The basic tool, called invocation count measurement, is simple but quite effective. Its application enabled us to improve FORMAC considerably.<\/jats:p>","DOI":"10.1145\/1086837.1086840","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"17-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Tuning an algebraic manipulation system through measurements"],"prefix":"10.1145","volume":"8","author":[{"given":"Knut","family":"Bahr","sequence":"first","affiliation":[{"name":"Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Darmstadt, Germany"}]},{"given":"Jaap","family":"Smit","sequence":"additional","affiliation":[{"name":"Twente University of Technology, Enschede, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[1974,8]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086809.1086812"},{"key":"e_1_2_1_2_1","volume-title":"SEAS Conference","author":"Bahr K.","year":"1973"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086789.1086790"},{"key":"e_1_2_1_4_1","first-page":"139","volume-title":"Proc. ACM Int. Comput. Symposium","author":"J. P.","year":"1972"},{"key":"e_1_2_1_5_1","unstructured":"D. E. Knuth: An Empirical Study of Fortran Programs. Stanford Memo AIM-137 Nov. 1970  D. E. Knuth: An Empirical Study of Fortran Programs. Stanford Memo AIM-137 Nov. 1970"},{"key":"e_1_2_1_6_1","volume-title":"Sorting and Searching","author":"Knuth D. E.","year":"1973"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/987361.987370"},{"key":"e_1_2_1_8_1","volume-title":"Proc. 1968 Summer Institute on Symb. Math. Computation (R.G. Tobey, ed.), IBM Federal Systems Center","author":"P.","year":"1969"},{"key":"e_1_2_1_9_1","unstructured":"R. G. Tobey etal: PL\/I FORMAC Symbolic Mathematics Interpreter. Contributed Program Library IBM Program Information Dept. Hawthorne N.Y. 360D-03.3.004 Sept. 1969  R. G. Tobey et al.: PL\/I FORMAC Symbolic Mathematics Interpreter. Contributed Program Library IBM Program Information Dept. Hawthorne N.Y. 360D-03.3.004 Sept. 1969"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/800204.806261"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/800204.806275"}],"container-title":["ACM SIGSAM Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086837.1086840","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086837.1086840","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\/1086837.1086840"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974,8]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1974,8]]}},"alternative-id":["10.1145\/1086837.1086840"],"URL":"https:\/\/doi.org\/10.1145\/1086837.1086840","relation":{},"ISSN":["0163-5824"],"issn-type":[{"value":"0163-5824","type":"print"}],"subject":[],"published":{"date-parts":[[1974,8]]},"assertion":[{"value":"1974-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}