{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T18:14:08Z","timestamp":1771956848871,"version":"3.50.1"},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"value":"354055422X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0038679","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T14:11:55Z","timestamp":1138198315000},"page":"405-419","source":"Crossref","is-referenced-by-count":4,"title":["Analyzing programs with explicit parallelism"],"prefix":"10.1007","author":[{"given":"H.","family":"Srinivasan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Wolfe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"26_CR1","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1016\/0743-7315(88)90015-9","volume":"5","author":"F. Allen","year":"1988","unstructured":"Frances Allen, Michael Burke, Philippe Charles, Ron Cytron, and Jeanne Ferrante. An overview of the PTRAN analysis system for multiprocessing. J. Parallel and Distributed Computing, 5(5):617\u2013640, October 1988.","journal-title":"J. Parallel and Distributed Computing"},{"key":"26_CR2","unstructured":"Todd R. Allen and David A. Padua. Debugging Fortran on a shared memory machine. In Sartaj K. Sahni, editor, Proc. 1987 International Conf. on Parallel Processing, pages 721\u2013727, St. Charles, IL, August 1987."},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Vasanth Balasundaram and Ken Kennedy. Compile-time detection of race conditions in a parallel program. In Proc. 3rd International Conference on Supercomputing, pages 175\u2013185, June 1989.","DOI":"10.1145\/318789.318809"},{"issue":"4","key":"26_CR4","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/54331.54333","volume":"16","author":"M. Beltrametti","year":"1988","unstructured":"Monica Beltrametti, Kenneth Bobey, and John R. Zorbas. The control mechanism for the Myrias parallel computer system. Computer Architecture News, 16(4):21\u201330, September 1988.","journal-title":"Computer Architecture News"},{"key":"26_CR5","unstructured":"Per Brinch Hansen. Operating Systems Principles. Automatic Computation. Prentice-Hall, 1973."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"David Callahan, Ken Kennedy, and Jaspal Subhlok. Analysis of event synchronization in a parallel programming tool. In Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming [13], pages 21\u201330.","DOI":"10.1145\/99163.99167"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and Kenneth Zadeck. Ah efficient method of computing static single assignment form. In Conf. Record 16th Annual ACM Symp. on Principles of Programming Languages, pages 25\u201335, Austin, TX, January 1989.","DOI":"10.1145\/75277.75280"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Anne Dinning and Edith Schonberg. An empirical comparison of monitoring algorithms for access anomaly detection. In Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming [13], pages 1\u201310.","DOI":"10.1145\/99163.99165"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Michel Dubois, Christoph Scheurich, and Faye Briggs. Memory access buffering in multiprocessors. In Conf. Proc. 13th Annual International Symp. on Computer Architecture, pages 434\u2013442, Tokyo, June 1986.","DOI":"10.1145\/17356.17406"},{"issue":"9","key":"26_CR10","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"C-28","author":"L. Lamport","year":"1979","unstructured":"Leslie Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. on Computers, C-28(9):690\u2013691, September 1979.","journal-title":"IEEE Trans. on Computers"},{"key":"26_CR11","series-title":"Research Monographs in Parallel and Distributed Computing","first-page":"402","volume-title":"Languages and Compilers for Parallel Computing","author":"S. P. Midkiff","year":"1990","unstructured":"Samuel P. Midkiff, David A. Padua, and Ron Cytron. Compiling programs with user parallelism. In David Gelernter, Alexandru Nicolau, and David A. Padua, editors, Languages and Compilers for Parallel Computing, Research Monographs in Parallel and Distributed Computing, pages 402\u2013422. MIT Press, Boston, 1990."},{"key":"26_CR12","unstructured":"Parallel Computing Forum. PCF Fortran, April 1990."},{"key":"26_CR13","unstructured":"Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seattle, Washington, March 1990. ACM Press."},{"key":"26_CR14","unstructured":"Harini Srinivasan. Analyzing programs with explicit parallelism. M.S. thesis 91-TH-006, Oregon Graduate Institute, Dept. of Computer Science and Engineering, July 1991."},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Michael Wolfe and Harini Srinivasan. Data structures for optimizing programs with explicit parallelism. In Proc. First International Conference of the Austrian Center for Parallel Computation, Salzburg, September 1991. to appear.","DOI":"10.1007\/3-540-55437-8_77"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0038679.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:23:40Z","timestamp":1607552620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0038679"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055422X"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0038679","relation":{},"subject":[]}}