{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:26Z","timestamp":1725663866446},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539810"},{"type":"electronic","value":"9783540464990"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540539816_65","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:19:32Z","timestamp":1330208372000},"page":"137-152","source":"Crossref","is-referenced-by-count":1,"title":["A theory of program modifications"],"prefix":"10.1007","author":[{"given":"G.","family":"Ramalingam","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Reps","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"issue":"3","key":"11_CR1","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K., and Warren, J., \u201cThe program dependence graph and its use in optimization,\u201d ACM Transactions on Programming Languages and Systems\n                9(3) pp. 319\u2013349 (July 1987).","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Horwitz, S., Pfeiffer, P., and Reps, T., \u201cDependence analysis for pointer variables,\u201d Proceedings of the ACM SIGPLAN 89 Conference on Programming Language Design and Implementation, (Portland, OR, June 21\u201323, 1989), ACM SIGPLAN Notices, (1989).","DOI":"10.1145\/73141.74821"},{"issue":"3","key":"11_CR3","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/65979.65980","volume":"11","author":"S. Horwitz","year":"1989","unstructured":"Horwitz, S., Prins, J., and Reps, T., \u201cIntegrating non-interfering versions of programs,\u201d ACM Trans. Program. Lang. Syst.\n                11(3) pp. 345\u2013387 (July 1989).","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"11_CR4","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S. Horwitz","year":"1990","unstructured":"Horwitz, S., Reps, T., and Binkley, D., \u201cInterprocedural slicing using dependence graphs,\u201d ACM Trans. Program. Lang. Syst.\n                12(1) pp. 26\u201360 (January 1990).","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR5","first-page":"207","volume-title":"Dependence graphs and compiler optimizations","author":"D.J. Kuck","year":"1981","unstructured":"Kuck, D.J., Kuhn, R.H., Leasure, B., Padua, D.A., and Wolfe, M., \u201cDependence graphs and compiler optimizations,\u201d pp. 207\u2013218 in Conference Record of the Eighth ACM Symposium on Principles of Programming Languages, (Williamsburg, VA, January 26\u201328, 1981), ACM, New York, NY (1981)."},{"issue":"1","key":"11_CR6","doi-asserted-by":"crossref","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"J.C.C. McKinsey","year":"1946","unstructured":"McKinsey, J.C.C. and Tarski, A., \u201cOn closed elements in closure algebras,\u201d Annals of Mathematics\n                47(1) pp. 122\u2013162 (January 1946).","journal-title":"Annals of Mathematics"},{"issue":"5","key":"11_CR7","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/390011.808263","volume":"19","author":"K.J. Ottenstein","year":"1984","unstructured":"Ottenstein, K.J. and Ottenstein, L.M., \u201cThe program dependence graph in a software development environment,\u201d Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, (Pittsburgh, PA, Apr. 23\u201325, 1984), ACM SIGPLAN Notices\n                19(5) pp. 177\u2013184 (May 1984).","journal-title":"ACM SIGPLAN Notices"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Algebraic properties of program integration","author":"T. Reps","year":"1990","unstructured":"Reps, T., \u201cAlgebraic properties of program integration.,\u201d in Proceedings of the Third European Symposium on Programming, (Copenhagen, Denmark, May 15\u201318, 1990), Lecture Notes in Computer Science, Vol. 432, ed. N. Jones,Springer-Verlag, New York, NY (1990)."},{"issue":"4","key":"11_CR9","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"SE-10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M., \u201cProgram slicing,\u201d IEEE Transactions on Software Engineering SE-10(4) pp. 352\u2013357 (July 1984).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Yang, W., Horwitz, S., and Reps, T., \u201cA program integration algorithm that accommodates semantics-preserving transformations,\u201d Proceedings of the 4th ACM SIGSOFT Symposium on Software Development Environments, (Irvine, CA, December 3\u20135, 1990), ACM SIGSOFT Software Engineering Notes, (1990).","DOI":"10.1145\/99277.99290"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540539816_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:03Z","timestamp":1619572683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540539816_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539810","9783540464990"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3540539816_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}