{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:09:43Z","timestamp":1760044183939},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1978,1,1]],"date-time":"1978-01-01T00:00:00Z","timestamp":252460800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/bf00264319","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T23:30:47Z","timestamp":1096414247000},"page":"245-264","source":"Crossref","is-referenced-by-count":29,"title":["The method of attributes for data flow analysis"],"prefix":"10.1007","volume":"10","author":[{"given":"Wayne A.","family":"Babich","sequence":"first","affiliation":[]},{"given":"Mehdi","family":"Jazayeri","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/390013.808479","volume":"5","author":"F. Allen","year":"1970","unstructured":"Allen, F.: Control flow analysis. SIGPLAN Notices 5, 1?19 (1970)","journal-title":"SIGPLAN Notices"},{"key":"CR2","first-page":"398","volume-title":"Proc. IFIP Congress 1974, Stockholm","author":"F. Allen","year":"1974","unstructured":"Allen, F.: Interprocedural data flow analysis. Proc. IFIP Congress 1974, Stockholm, pp. 398?402, Amsterdam: North-Holland 1974"},{"key":"CR3","series-title":"TR-77-006","volume-title":"Ph.D. dissertation","author":"W.A. Babich","year":"1977","unstructured":"Babich, W.A.: High level data flow analysis using a parse tree representation of the program. Ph.D. dissertation, Department of Computer Science, University of North Carolina, Chapel Hill, N.C., TR-77-006, 1977"},{"key":"CR4","first-page":"21","volume":"11","author":"R. Conway","year":"1976","unstructured":"Conway, R.: PL\/CS ? A highly-disciplined subset of PL\/C. SIGPLAN Notices 11, 21?24 (1976)","journal-title":"SIGPLAN Notices"},{"key":"CR5","series-title":"TR-77-008","volume-title":"Masters thesis","author":"J. Crawford","year":"1977","unstructured":"Crawford, J.: Module specifications for a global optimizer. Masters thesis, Department of Computer Science, University of North Carolina, Chapel Hill, N.C., TR-77-008, 1977"},{"key":"CR6","unstructured":"Hecht, M.S., Schaffer, J.B.: A modest quad improver. Department of Computer Science, University of Maryland, 1977"},{"key":"CR7","volume-title":"Course notes for COMP 290","author":"M. Jazayeri","year":"1976","unstructured":"Jazayeri, M.: Course notes for COMP 290. University of North Carolina, Spring 1976"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1145\/361227.361231","volume":"18","author":"M. Jazayeri","year":"1975","unstructured":"Jazayeri, M., Ogden, W., Rounds, W.: The intrinsically exponential complexity of the circularity problem for attribute grammars. Comm. ACM 18, 697?706 (1975)","journal-title":"Comm. ACM"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. Knuth","year":"1968","unstructured":"Knuth, D.: Semantics of context-free languages. Math. Systems Theory 2, 127?145 (1968); correction in: 5, 95?96 (1971)","journal-title":"Math. Systems Theory"},{"key":"CR10","unstructured":"Lomet, D.: Data flow analysis in the presence of procedure calls. IBM Research Report RC 5728, Yorktown Heights, November 1975"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/321992.322000","volume":"24","author":"D.B. Loveman","year":"1977","unstructured":"Loveman, D.B.: Program improvement by source-to-source transformations. J. Assoc. Comput. Mach. 24, 121?145 (1977)","journal-title":"J. Assoc. Comput. Mach."},{"key":"CR12","series-title":"TR CU-CS-071-75","volume-title":"DAVE ? A validation, error detection, and documentation system for Fortran programs","author":"L. Osterweil","year":"1975","unstructured":"Osterweil, L., Fosdick, L.: DAVE ? A validation, error detection, and documentation system for Fortran programs. Department of Computer Science, University of Colorado, TR CU-CS-071-75, Boulder, June 1975"},{"key":"CR13","unstructured":"Rosen, B.K.: Data flow analysis for procedural languages. IBM Research Report RC 5948, Yorktown Heights, April 15, 1976"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"712","DOI":"10.1145\/359842.359849","volume":"20","author":"B.K. Rosen","year":"1977","unstructured":"Rosen, B.K.:High-level data flow analysis. Comm. ACM 20, 712?724 (1977)","journal-title":"Comm. ACM"},{"key":"CR15","volume-title":"A mathematical theory of global program optimization","author":"M. Schaefer","year":"1973","unstructured":"Schaefer, M.: A mathematical theory of global program optimization. Englewood-Cliffs: Prentice-Hall 1973"},{"key":"CR16","first-page":"376","volume-title":"Proc. IFIP Congress 1971","author":"T. Spillman","year":"1971","unstructured":"Spillman, T.: Exposing side effects in a PL\/I optimizing compiler. Proc. IFIP Congress 1971, pp. 376?381. Amsterdam: North-Holland 1971"},{"key":"CR17","unstructured":"Tapscott, R.: ADS: the source listing annotator. IBM Research Report RC 5065, Yorktown Heights, October 2, 1974"},{"key":"CR18","volume-title":"The design of an optimizing compiler","author":"W. Wulf","year":"1975","unstructured":"Wulf, W., et al.: The design of an optimizing compiler. New York: American Elsevier 1975"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"780","DOI":"10.1145\/362919.362936","volume":"1","author":"W. Wulf","year":"1971","unstructured":"Wulf, W., Russel, D., Habermann, A.: BLISS: a language for systems programming. Comm. ACM 1, 780?790 (1971)","journal-title":"Comm. ACM"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264319.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00264319\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T17:14:47Z","timestamp":1554311687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00264319"}},"subtitle":["Part I. Exhaustive analysis"],"short-title":[],"issued":{"date-parts":[[1978]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1978]]}},"alternative-id":["BF00264319"],"URL":"https:\/\/doi.org\/10.1007\/bf00264319","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978]]}}}