{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T04:54:31Z","timestamp":1779339271137,"version":"3.51.4"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1996,12,1]],"date-time":"1996-12-01T00:00:00Z","timestamp":849398400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1996,12]]},"DOI":"10.1007\/bf03356760","type":"journal-article","created":{"date-parts":[[2016,5,26]],"date-time":"2016-05-26T02:22:36Z","timestamp":1464229356000},"page":"579-598","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":43,"title":["Transitive Closure of Infinite Graphs and Its Applications"],"prefix":"10.1007","volume":"24","author":[{"given":"Wayne","family":"Kelly","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Pugh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evan","family":"Rosser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatiana","family":"Shpeisman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,26]]},"reference":[{"key":"BF03356760_CR1","series-title":"Technical Report","volume-title":"A Framework for Unifying Reordering Transformations","author":"W Kelly","year":"1993","unstructured":"Wayne Kelly, and William Pugh, A Framework for Unifying Reordering Transformations. Technical Report CS-TR-3193, Department of Computer Science, University of Maryland, College Park (April 1993)."},{"key":"BF03356760_CR2","series-title":"Technical Report","volume-title":"The Omega Library Interface Guide","author":"W Kelly","year":"1995","unstructured":"Wayne Kelly, Vadim Maslov, William Pugh, Evan Rosser, Tatiana Shpeisman, and David Wonnacott, The Omega Library Interface Guide. Technical Report CS-TR-3445, Department of Computer Science, University of Maryland, College Park (March 1995)."},{"key":"BF03356760_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Seventh Int\u2019l. Workshop on Languages and Compilers for Parallel Computing","author":"W Kelly","year":"1994","unstructured":"Wayne Kelly and William Pugh, Finding Legal Reordering Transformations Using Mappings. Seventh Int\u2019l. Workshop on Languages and Compilers for Parallel Computing Lecture Notes in Computer Science, Vol. 892 Ithaca, New York Springer-Verlag. (August 1994)."},{"key":"BF03356760_CR4","doi-asserted-by":"crossref","unstructured":"V. P. Krothapalli and P. Sadayappan, Removal of Redundant Dependences in DOACROSS Loops with Constant Dependences. Proc. of the Third ACM SIGPLAN Symp. on PPPP, pp. 51\u201360 (July 1991).","DOI":"10.1145\/109625.109632"},{"key":"BF03356760_CR5","series-title":"Ph.D. Thesis","volume-title":"Compiler Optimizations for Parallel Loops With Fine-Grained Synchronization","author":"D-K Chen","year":"1994","unstructured":"Ding-Kai Chen, Compiler Optimizations for Parallel Loops With Fine-Grained Synchronization. Ph.D. Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, 1994. Also available as CSRD Report 1374."},{"key":"BF03356760_CR6","volume-title":"Proc. of the IEEE First Int\u2019l. Conf. on Algorithms and Architectures for Parallel Processing","author":"W Kelly","year":"1995","unstructured":"Wayne Kelly and William Pugh, A Unifying Framework for Iteration Reordering Transformations. Proc. of the IEEE First Int\u2019l. Conf. on Algorithms and Architectures for Parallel Processing, Brisbane, Australia (April 1995)."},{"issue":"12","key":"BF03356760_CR7","doi-asserted-by":"crossref","first-page":"1485","DOI":"10.1109\/TC.1987.5009499","volume":"C-36","author":"SP Midkiff","year":"1987","unstructured":"S. P. Midkiff and D. A. Padua, Compiler Algorithms for Synchronization. IEEE Trans. on Computers, C-36(12): 1485\u20131495 (1987).","journal-title":"IEEE Trans. on Computers"},{"key":"BF03356760_CR8","unstructured":"S. P. Midkiff and D. A. Padua, A Comparison of Four Synchronization Optimization Techniques. Proc. IEEE Int\u2019l Conf. on Parallel Processing, pp. II-9\u2013II-16 (August 1991)."},{"key":"BF03356760_CR9","doi-asserted-by":"crossref","unstructured":"M. Gupta and E. Schonberg, Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs. Conference Record of POPL \u201996: The 23 RD ACM SIGPLAN-SIGACT Symp. on PPL (January 1996).","DOI":"10.1145\/237721.237799"},{"key":"BF03356760_CR10","doi-asserted-by":"crossref","unstructured":"Chau-Wen Tseng. Compiler Optimizations for Eliminating Barrier Synchronization. Proc. of the Fifth ACM SIGPLAN Symp. on PPPP, pp. 144\u2013155 (July 1995).","DOI":"10.1145\/209936.209952"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03356760.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03356760\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03356760","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T21:56:58Z","timestamp":1567979818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03356760"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":10,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["BF03356760"],"URL":"https:\/\/doi.org\/10.1007\/bf03356760","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}