{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T16:18:00Z","timestamp":1773764280473,"version":"3.50.1"},"reference-count":15,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[1987,1]]},"DOI":"10.1016\/0020-0190(87)90102-5","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T19:37:33Z","timestamp":1047670653000},"page":"103-108","source":"Crossref","is-referenced-by-count":58,"title":["The program dependence graph in static program testing"],"prefix":"10.1016","volume":"24","author":[{"given":"Bogdan","family":"Korel","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0020-0190(87)90102-5_BIB1","series-title":"Principles of Compiler Design","author":"Aho","year":"1977"},{"issue":"7","key":"10.1016\/0020-0190(87)90102-5_BIB2","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1145\/359636.359712","article-title":"Certification of programs for secure information flow","volume":"20","author":"Denning","year":"1977","journal-title":"Comm. ACM"},{"key":"10.1016\/0020-0190(87)90102-5_BIB3","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1145\/356674.356676","article-title":"Data flow analysis in software reliability","volume":"8","author":"Fosdick","year":"1976","journal-title":"Comput. Surveys"},{"key":"10.1016\/0020-0190(87)90102-5_BIB4","series-title":"Flow Analysis of Computer Programs","author":"Hecht","year":"1977"},{"issue":"4","key":"10.1016\/0020-0190(87)90102-5_BIB5","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1145\/360032.360048","article-title":"Logical analysis of programs","volume":"19","author":"Katz","year":"1976","journal-title":"Comm. ACM"},{"key":"10.1016\/0020-0190(87)90102-5_BIB6","series-title":"Tech. Rept. CIS-BK-84-10-1","article-title":"Data flow in static program testing","author":"Korel","year":"1984"},{"key":"10.1016\/0020-0190(87)90102-5_BIB7","series-title":"SoftFair II\u20142nd Conf. on Software Development Tools, Techniques, and Alternatives","first-page":"34","article-title":"A tool for data flow oriented program testing","author":"Korel","year":"1985"},{"issue":"3","key":"10.1016\/0020-0190(87)90102-5_BIB8","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/TSE.1983.236871","article-title":"A data flow oriented program testing strategy","volume":"SE-9","author":"Laski","year":"1983","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0020-0190(87)90102-5_BIB9","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/357062.357071","article-title":"A fast algorithm for finding dominators in a flowgraph","volume":"1","author":"Lengauer","year":"1979","journal-title":"ACM Trans. Programm. Languages & Systems"},{"issue":"2","key":"10.1016\/0020-0190(87)90102-5_BIB10","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1145\/69624.357209","article-title":"Automatic program improvement: Variable usage transformations","volume":"5","author":"Maher","year":"1983","journal-title":"ACM Trans. Programm. Languages & Systems"},{"key":"10.1016\/0020-0190(87)90102-5_BIB11","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1002\/spe.4380060405","article-title":"DAVE\u2014A validation, error-detection and documentation system for FORTRAN programs","volume":"6","author":"Osterweil","year":"1976","journal-title":"Software-Practice & Experience"},{"issue":"5","key":"10.1016\/0020-0190(87)90102-5_BIB12","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/390011.808263","article-title":"The program dependence graph in a software development environment","volume":"19","author":"Ottenstein","year":"1984","journal-title":"ACM SIGPLAN Notices"},{"issue":"4","key":"10.1016\/0020-0190(87)90102-5_BIB13","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1109\/TSE.1984.5010259","article-title":"Static data flow analysis of PL\/I programs with the PROBE systems","volume":"SE-10","author":"Sarraga","year":"1984","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0020-0190(87)90102-5_BIB14","series-title":"Proc. Symp. on Application and Assessment of Automated Tools for Software Development","first-page":"156","article-title":"A survey of static analysis features of compilers","author":"Shahdad","year":"1983"},{"issue":"4","key":"10.1016\/0020-0190(87)90102-5_BIB15","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","article-title":"Program slicing","volume":"SE-10","author":"Weiser","year":"1984","journal-title":"IEEE Trans. Software Engrg."}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:0020019087901025?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:0020019087901025?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T09:51:51Z","timestamp":1553593911000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/0020019087901025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,1]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1987,1]]}},"alternative-id":["0020019087901025"],"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1016\/0020-0190(87)90102-5","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[1987,1]]}}}