{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:57Z","timestamp":1725663957143},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578772"},{"type":"electronic","value":"9783540483717"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57877-3_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:34:34Z","timestamp":1330245274000},"page":"203-217","source":"Crossref","is-referenced-by-count":1,"title":["Flow grammars \u2014 a flow analysis methodology"],"prefix":"10.1007","author":[{"given":"James S.","family":"Uhl","sequence":"first","affiliation":[]},{"given":"R. Nigel","family":"Horspool","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"14_CR1","unstructured":"Aho, A., R. Sethi and J. Ullman. Compilers, Principles, Techniques, and Tools, Addison-Wesley Publishing, 1986."},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF00264319","volume":"10","author":"W. Babich","year":"1978","unstructured":"Babich, W. and M. Jazayeri. \u201cThe Method of Attributes for Data Flow Analysis Part I:Exhaustive Analysis,\u201d Acta Informatica 10, 1978, pp. 245\u2013264.","journal-title":"Acta Informatica"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00264320","volume":"10","author":"W. Babich","year":"1978","unstructured":"Babich, W. and M. Jazayeri. \u201cThe Method of Attributes for Data Flow Analysis Part II: Demand Analysis,\u201d Acta Informatica 10, 1978, pp. 265\u2013272.","journal-title":"Acta Informatica"},{"issue":"4","key":"14_CR4","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1145\/6465.6489","volume":"8","author":"K. Cooper","year":"1986","unstructured":"Cooper, K., K. Kennedy and L. Torczon. \u201cThe Impact of Interprocedural Analysis and Optimization in the R n Programming Environment,\u201d ACM TOPLAS 8, 4, October 1986, pp. 491\u2013523.","journal-title":"ACM TOPLAS"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P. and R. Cousot. \u201cAbstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints,\u201d 4th POPL, January 1977, pp. 238\u2013252.","DOI":"10.1145\/512950.512973"},{"issue":"2","key":"14_CR6","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/321160.321167","volume":"10","author":"S. Ginsburg","year":"1963","unstructured":"Ginsburg, S. and G. F. Rose. \u201cOperations which preserve definability in languages,\u201d JA CM 10(2), April 1963, pp. 175\u2013195.","journal-title":"JA CM"},{"key":"14_CR7","unstructured":"Hopcroft, J. E. and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation, 1979, pp. 217\u2013228."},{"key":"14_CR8","unstructured":"Hecht, M. Flow Analysis of Computer Programs, Elsevier, 1977."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Jourdan, M. and D. Parigot. \u201cTechniques for Improving Grammar Flow Analysis,\u201d ESOP'90, LNCS 432, pp. 240\u2013255.","DOI":"10.1007\/3-540-52592-0_67"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF00290339","volume":"7","author":"J. Kam","year":"1977","unstructured":"Kam, J. and J. Ullman. \u201cMonotone Data Flow Analysis Frameworks,\u201d Acta Informatica 7,1977, pp. 305\u2013317.","journal-title":"Acta Informatica"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Kennedy, K. and L. Zucconi. \u201cApplications of a Graph Grammar for Program Control Flow Analysis,\u201d 4th POPL, January 1977, pp. 72\u201385.","DOI":"10.1145\/512950.512958"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Kildall, G. \u201cA Unified Approach to Global Program Optimization,\u201d (1st) POPL, October 1973, pp. 194\u2013206.","DOI":"10.1145\/512927.512945"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Knoop, J. and B. Steffen. \u201cThe Interprocedural Coincidence Theorem,\u201d 4th Intl. Conf., CC'92, October 1992, pp. 125\u2013140.","DOI":"10.1007\/3-540-55984-1_13"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF01237234","volume":"28","author":"T. Marlowe","year":"1990","unstructured":"Marlowe, T. and B. Ryder. \u201cProperties of Data Flow Frameworks,\u201d Acta Informatica 28, 1990, pp. 121\u2013163.","journal-title":"Acta Informatica"},{"issue":"10","key":"14_CR15","doi-asserted-by":"crossref","first-page":"712","DOI":"10.1145\/359842.359849","volume":"20","author":"B. Rosen","year":"1977","unstructured":"Rosen, B. \u201cHigh-Level Data Flow Analysis,\u201d CACM 20, 10, October 1977, pp. 712\u2013724.","journal-title":"CACM"},{"issue":"4","key":"14_CR16","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1145\/69575.357227","volume":"5","author":"R. Sethi","year":"1983","unstructured":"Sethi, R. \u201cControl Flow Aspects of Semantics-Directed Compiling,\u201d ACM TOPLAS 5, 4, October 1983, pp. 554\u2013595.","journal-title":"ACM TOPLAS"},{"key":"14_CR17","unstructured":"Sharir, M. and A. Pnueli. \u201cTwo Approaches to Interprocedural Data Flow Analysis,\u201d in Program Flow Analysis: Theory and Applications, Muchnick S. and Jones N. (eds.), 1981, pp. 189\u2013233."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Shivers, O. \u201cControl Flow Analysis in Scheme,\u201d PLDI'88, June 1988, pp. 164\u2013174.","DOI":"10.1145\/53990.54007"},{"key":"14_CR19","unstructured":"Uhl, J. S. FACT: A Flow Analysis Compiler Tool. Ph.D. Dissertation, in preparation."},{"issue":"2","key":"14_CR20","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/103135.103136","volume":"13","author":"M. Wegman","year":"1991","unstructured":"Wegman, M. and F. Zadeck. \u201cConstant Propagation with Conditional Branches,\u201d ACM TOPLAS 13, 2, April, 1991, pp. 181\u2013210.","journal-title":"ACM TOPLAS"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Weihl, W. \u201cInterprocedural Data Flow Analysis in the Presence of Pointer, Procedure Variables, and Label Variables,\u201d 7th POPL, January 1980, pp. 83\u201394.","DOI":"10.1145\/567446.567455"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Yi, K. and Harrison, W. L. \u201cAutomatic generation and management of interprocedural program analyses,\u201d 20th POPL, January 1993, pp. 246\u2013259.","DOI":"10.1145\/158511.158642"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57877-3_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:15:03Z","timestamp":1605629703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57877-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578772","9783540483717"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-57877-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}