{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:18Z","timestamp":1750307898700,"version":"3.41.0"},"reference-count":24,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2008,3,1]],"date-time":"2008-03-01T00:00:00Z","timestamp":1204329600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Abilene Community\/Sheldon Fund","award":["146144C571"],"award-info":[{"award-number":["146144C571"]}]},{"DOI":"10.13039\/100000104","name":"National Aeronautics and Space Administration","doi-asserted-by":"publisher","award":["NNG06GJ14G","NNJ06HE94A"],"award-info":[{"award-number":["NNG06GJ14G","NNJ06HE94A"]}],"id":[{"id":"10.13039\/100000104","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Program. Lang. Syst."],"published-print":{"date-parts":[[2008,3]]},"abstract":"<jats:p>SequenceL is a concise, high-level language with a simple semantics that provides for the automatic derivation of many iterative and parallel control structures. The semantics repeatedly applies a \u201cNormalize-Transpose-Distribute\u201d operation to functions and operators until base cases are discovered. Base cases include the grounding of variables and the application of built-in operators to operands of appropriate types. This article introduces the results of a 24-month effort to reduce the language to a very small set of primitives. Included are comparisons with other languages, the formal syntax and semantics, and the traces of several example problems run with a prototype interpreter developed in 2006.<\/jats:p>","DOI":"10.1145\/1330017.1330020","type":"journal-article","created":{"date-parts":[[2008,3,19]],"date-time":"2008-03-19T12:58:50Z","timestamp":1205931530000},"page":"1-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Normalize, transpose, and distribute"],"prefix":"10.1145","volume":"30","author":[{"given":"Daniel E.","family":"Cooke","sequence":"first","affiliation":[{"name":"Texas Tech University, Lubbock, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Nelson","family":"Rushton","sequence":"additional","affiliation":[{"name":"Texas Tech University, Lubbock, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brad","family":"Nemanich","sequence":"additional","affiliation":[{"name":"Texas Tech University, Lubbock, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert G.","family":"Watson","sequence":"additional","affiliation":[{"name":"Texas Tech University, Lubbock, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Per","family":"Andersen","sequence":"additional","affiliation":[{"name":"Texas Tech University, Lubbock, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,3,14]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/151233.151242"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.54291"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/227234.227246"},{"volume-title":"Set Theory and the Continuum Hypothesis. WH Benjamin","author":"Cohen P.","key":"e_1_2_1_5_1"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199611)26:11%3C1205::AID-SPE57%3E3.3.CO;2-Y"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-0551(97)00007-6"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(20001125)30:14%3C1541::AID-SPE350%3E3.3.CO;2-K"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.27"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194091000056"},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Cooke D. Gelfond M. Rushton N. and Hu H. 2005. Application of model-based technology systems for autonomous systems. In American Institute of Aeronautics and Astronautics Infotech&commat;Aerospace Conference. AIAA Press Reston VA. 8 pages.  Cooke D. Gelfond M. Rushton N. and Hu H. 2005. Application of model-based technology systems for autonomous systems. In American Institute of Aeronautics and Astronautics Infotech&commat;Aerospace Conference. AIAA Press Reston VA. 8 pages.","DOI":"10.2514\/6.2005-7063"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11428862_132"},{"volume-title":"Proceedings of the 5th International Conference on Logic Programming","author":"Gelfond M.","key":"e_1_2_1_13_1"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"volume-title":"A Programming Language","author":"Iverson K.","key":"e_1_2_1_15_1","doi-asserted-by":"crossref","DOI":"10.1145\/1460833.1460872"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/640136.604179"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016848.1016883"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.04.004"},{"key":"e_1_2_1_19_1","unstructured":"Loidl H. and Trinder P. 2006. A Gentle introduction to GPH. http:\/\/www.macs.hw.ac.uk\/~dsg\/gph\/docs\/Gentle-GPH\/gph-gentle-intro.html.  Loidl H. and Trinder P. 2006. A Gentle introduction to GPH. http:\/\/www.macs.hw.ac.uk\/~dsg\/gph\/docs\/Gentle-GPH\/gph-gentle-intro.html."},{"volume-title":"R.","year":"1991","author":"Meijer E.","key":"e_1_2_1_20_1"},{"key":"e_1_2_1_21_1","first-page":"2","article-title":"Data structured programming: Programming without arrays and pointers","volume":"12","author":"Mills H.","year":"1986","journal-title":"IEEE Trans. Soft. Eng."},{"volume-title":"Implicit Parallel Programming in pH. Morgan Kaufmann","author":"Nikhil R.","key":"e_1_2_1_22_1"},{"volume-title":"41st International Cray User Group Conference","year":"1999","author":"Pancake C.","key":"e_1_2_1_23_1"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.92044"}],"container-title":["ACM Transactions on Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1330017.1330020","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1330017.1330020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:31Z","timestamp":1750258051000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1330017.1330020"}},"subtitle":["An automatic approach for handling nonscalars"],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,3]]}},"alternative-id":["10.1145\/1330017.1330020"],"URL":"https:\/\/doi.org\/10.1145\/1330017.1330020","relation":{},"ISSN":["0164-0925","1558-4593"],"issn-type":[{"type":"print","value":"0164-0925"},{"type":"electronic","value":"1558-4593"}],"subject":[],"published":{"date-parts":[[2008,3]]},"assertion":[{"value":"2005-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2007-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-03-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}