{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T07:11:38Z","timestamp":1794381098341,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540227915","type":"print"},{"value":"9783540278641","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27864-1_16","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T12:35:37Z","timestamp":1284640537000},"page":"197-211","source":"Crossref","is-referenced-by-count":1,"title":["Static Analysis of Gated Data Dependence Graphs"],"prefix":"10.1007","author":[{"given":"Charles","family":"Hymans","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eben","family":"Upton","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: Possibly not closed convex polyhedra and the parma polyhedra library. In: Proceedings of the 9th Static Analysis Symposium, pp. 213\u2013229 (2002)","DOI":"10.1007\/3-540-45789-5_17"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: Precise widening operators for convex polyhedra. In: Proceedings of the 10th Static Analysis Symposium, pp. 337\u2013354 (2003)","DOI":"10.1007\/3-540-44898-5_19"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Ballance, R.A., Maccabe, A.B., Ottenstein, K.J.: The program dependence web: A representation supporting control-, data-, and demand-driven interpretation of imperative languages. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 257\u2013271 (1990)","DOI":"10.1145\/93548.93578"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the 4th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Conference Record of the 5th Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pp. 84\u201397 (1978)","DOI":"10.1145\/512760.512770"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36579-6_1","volume-title":"Compiler Construction","author":"N. Johnson","year":"2003","unstructured":"Johnson, N., Mycroft, A.: Combined code motion and register allocation using the value state dependence graph. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 1\u201316. Springer, Heidelberg (2003)"},{"key":"16_CR7","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Kuck, D.J., Kuhn, R.H., Leasure, B., Padua, D.A., Wolfe, M.: Dependence graphs and compiler optimizations. In: Conference Record of the 8th ACM Symposium on Principles of Programming Languages, pp. 207\u2013218 (1981)","DOI":"10.1145\/567532.567555"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Tu, P., Padua, D.A.: Efficient building and placing of gating functions. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 47\u201355 (1995)","DOI":"10.1145\/207110.207115"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Weise, D., Crew, R.F., Ernst, M., Steensgaard, B.: Value dependence graphs: Representation without taxation. In: Proceedings of the 21th ACM Symposium on Principles of Programming Languages, pp. 297\u2013310 (1994)","DOI":"10.1145\/174675.177907"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27864-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:24:40Z","timestamp":1605741880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27864-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540227915","9783540278641"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27864-1_16","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b99688","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}