{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T20:40:42Z","timestamp":1697748042091},"reference-count":11,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"vor","delay-in-days":8610,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1983,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper describes the design and implementation of OPTIMA, a Portable optimizer for the PASCAL\u2010P4 compiler. The PASCAL\u2010P4 compiler generates code, called PCODE, for a hypothetical stack computer. The stack computer is easy to simulate or to emulate on a wide range of computer architectures. However, the code produced for it by PASCAL\u2010P4 is unoptimized and inefficient when emulated on conventional computers. OPTIMA improves the code which is produced by the compiler. It has three levels of optimization: PCODE transformations, TUPLE transformations and Code generation. Programs processed by the optimizer are substantially smaller and faster than before optimization. OPTIMA was implemented for the Weizmann Institute of Science GOLEM\u2010B computer.<\/jats:p>","DOI":"10.1002\/spe.4380130404","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T03:42:22Z","timestamp":1163821342000},"page":"323-354","source":"Crossref","is-referenced-by-count":1,"title":["OPTIMA\u2014A portable PCODE optimizer"],"prefix":"10.1002","volume":"13","author":[{"given":"A.","family":"Wilk","sequence":"first","affiliation":[]},{"given":"W.","family":"Silverman","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"The PASCAL Compiler: Implementation Notes","author":"Nori K. V.","year":"1976"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380080510"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/364995.365000"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-06950-X"},{"key":"e_1_2_1_6_2","volume-title":"Programming Languages: What to Demand and How to Assess Them","author":"Wirth N.","year":"1976"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/5.1.10"},{"key":"e_1_2_1_8_2","volume-title":"Principles of Compiler Design","author":"Aho A. V.","year":"1978"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380070311"},{"key":"e_1_2_1_10_2","volume-title":"Compiler Construction for Digital Computers","author":"Gries D.","year":"1971"},{"key":"e_1_2_1_11_2","unstructured":"A.Wilk \u2018OPTIMA\u2014The Design and Implementation of a Portable Optimizer for the PASCAL\u2010P4 Compiler\u2019 M.Sc. Thesis Feinberg Graduate School of the Weizmann Institute of Science Rehovot Israel May1980."},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380010403"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380130404","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380130404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T20:11:05Z","timestamp":1697746265000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380130404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,4]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1983,4]]}},"alternative-id":["10.1002\/spe.4380130404"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380130404","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1983,4]]}}}