{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:41:42Z","timestamp":1725486102685},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411857"},{"type":"electronic","value":"9783540408895"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40889-4_4","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T16:52:28Z","timestamp":1180889548000},"page":"44-56","source":"Crossref","is-referenced-by-count":1,"title":["Static Analysis for Guarded Code"],"prefix":"10.1007","author":[{"given":"Ping","family":"Hu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,26]]},"reference":[{"key":"4_CR1","unstructured":"A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 1986."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"J.R. Allen, K. Kennedy, C. Portefied, and J. Warren. Conversion of control dependence to data dependence. In Proceedings of the 10th ACM Symposium on Principles of Programming Languages, pages 177\u2013189, January 1983.","DOI":"10.1145\/567067.567085"},{"issue":"1\/2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF01205184","volume":"7","author":"J.C. Dehnert","year":"1993","unstructured":"J.C. Dehnert and R.A. Towle. Compiling for the Cydra 5. Journal of Supercom-puting, 7(1\/2):181\u2013227, May 1993.","journal-title":"Journal of Supercom-puting"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"A.E. Eichenberger and E.S. Davidson. Register allocation for predicated code. In Proceedings of the 28th Annual International Symposium on Microarchitecture, pages 180\u2013191, November 1995.","DOI":"10.1109\/MICRO.1995.476825"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"D.M. Gillies, D.R. Ju, R. Johnson, and M. Schlansker. Global predicate analy-sis and its application to register allocation. In Proceedings of the 29th Annual International Symposium on Microarchitecture, pages 114\u2013125, December 1996.","DOI":"10.1109\/MICRO.1996.566455"},{"key":"4_CR6","unstructured":"J. Hoogerbrugge and L. Augusteijn. Instruction Scheduling for TriMedia. Journal of Instruction-Level Parallelism, 1, February 1999.."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"R. Johnson and M. Schlansker. Analysis techniques for predicated code. In Pro-ceedings of the 29th Annual International Symposium on Microarchitecture, pages 100\u2013113, December 1996.","DOI":"10.1109\/MICRO.1996.566454"},{"key":"4_CR8","unstructured":"V. Kathail, M.S. Schlansker, and B.R. Rau. HPL PlayDoh architecture specifi-cation: Version 1.0. Technical Report HPL-93-80, Hewlett Packard Laboratories, February 1994."},{"key":"4_CR9","unstructured":"J.C.H. Park and M. Schlansker. On predicated execution. Technical Report HPL-91-58, Hewlett Packard Software and Systems Laboratory, May1991."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"B.R. Rau, W.L. Yen, and R.A. Towle. The cydra 5 departmental supercomputer. IEEE Computer, pages 12\u201335, January 1989.","DOI":"10.1109\/2.19820"},{"key":"4_CR11","unstructured":"F. Thomasset. Analyse de flots de donn\u00e9es: introduction. Notes de cours: DEA d\u2019Informatique, March 1999. \n                    http:\/\/www-rocq.inria.fr\/~thomasse\/DEA\/\n                    \n                  ."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"N.J. Warter, S.A. Mahlke, W.W. Hwu, and B.R. Rau. Reverse if-conversion. In Proceedings SIGPLAN 1993 Conference on Programming Language Design and Implementation, pages 290\u2013299, June 1993.","DOI":"10.1145\/155090.155118"},{"key":"4_CR13","unstructured":"M. Wolfe. High performance compilers for parallel computing. Addison Wesley, 1996."}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, and Run-Time Systems for Scalable Computers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40889-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T23:18:03Z","timestamp":1550359083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40889-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411857","9783540408895"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-40889-4_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}