{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:55Z","timestamp":1725663595117},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544159"},{"type":"electronic","value":"9783540476177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54415-1_55","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:45:55Z","timestamp":1330191955000},"page":"365-386","source":"Crossref","is-referenced-by-count":1,"title":["On the adequacy of dependence-based representations for programs with heaps"],"prefix":"10.1007","author":[{"given":"Phil","family":"Pfeiffer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebecca Parsons","family":"Selke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"18_CR1","volume-title":"Dependence Analysis for Subscripted Variables and its Application to Program Transformations","author":"J.R. Allen","year":"1983","unstructured":"Allen, J.R., \u201cDependence Analysis for Subscripted Variables and its Application to Program Transformations,\u201d Ph.D. dissertation, Dept. of Math. Sciences, Rice Univ., Houston, TX (April 1983)."},{"issue":"6","key":"18_CR2","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1145\/93548.93578","volume":"25","author":"R.A. Ballance","year":"1990","unstructured":"Ballance, R.A., Maccabe, A.B., and Ottenstein, K.J., \u201cThe Program Dependence Web: A Representation Supporting Control-, Data-, and Demand-Driven Interpretation of Imperative Languages,\u201d Proceedings of the ACM SIGPLAN 90 Conference on Programming Language Design and Implementation, (White Plains, NY, June 20\u201322, 1990), ACM SIGPLAN Notices 25(6) pp. 257\u2013271 (June 1990).","journal-title":"ACM SIGPLAN Notices"},{"key":"18_CR3","volume-title":"The Multi-Procedure Equivalence Theorem","author":"D. Binkley","year":"1989","unstructured":"Binkley, D., Horwitz, S., and Reps, T., \u201cThe Multi-Procedure Equivalence Theorem,\u201d TR-890, Computer Sciences Department, University of Wisconsin, Madison, WI (November 1989)."},{"key":"18_CR4","unstructured":"Bodin, F., \u201cPreliminary Report: Data Structure Analysis in C Programs,\u201d Proceedings of the Workshop on Parallelism in the Presence of Pointers and Dynamically-allocated Objects (Leesburg, Virginia, March 1990), Technical Note SRC-TN-90-292, pp. 4.3.1\u20134.3.34 Supercomputing Research Center\/Institute for Defense Analysis, (1990)."},{"issue":"7","key":"18_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/960116.53991","volume":"23","author":"D.R. Chase","year":"1988","unstructured":"Chase, D.R., \u201cSafety Considerations for Storage Allocation Optimization,\u201d Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation, (Atlanta, GA, June 22\u201324, 1988), ACM SIGPLAN Notices 23(7) pp. 1\u201310 (July 1988).","journal-title":"ACM SIGPLAN Notices"},{"key":"18_CR6","volume-title":"Parallel Program Debugging with Flowback Analysis","author":"J. Choi","year":"1989","unstructured":"Choi, J., \u201cParallel Program Debugging with Flowback Analysis,\u201d Ph.D. dissertation and TR-871, Computer Sciences Department, University of Wisconsin, Madison, WI (August 1989)."},{"issue":"3","key":"18_CR7","doi-asserted-by":"publisher","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 9(3), pp. 319\u2013349 (July 1987).","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR8","unstructured":"Guarna Jr., V.A., \u201cDependence Analysis for C Programs Containing Pointers and Dynamic Data Structures,\u201d Proceedings of the Workshop on Parallelism in the Presence of Pointers and Dynamically-allocated Objects (Leesburg, Virginia, March 1990), Technical Note SRC-TN-90-292, pp. 5.15.1\u20135.15.25 Supercomputing Research Center\/Institute for Defense Analysis, (1990)."},{"key":"18_CR9","first-page":"146","volume-title":"On the Adequacy of Program Dependence Graphs for Representing Programs","author":"S. Horwitz","year":"1988","unstructured":"Horwitz, S., Prins, J., and Reps, T., \u201cOn the Adequacy of Program Dependence Graphs for Representing Programs,\u201d pp. 146\u2013157 in Conference Record of the Fifteenth ACM Symposium on Principles of Programming Languages, (San Diego, CA, January 13\u201315, 1988), ACM, New York, NY (1988)."},{"issue":"7","key":"18_CR10","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/74818.74821","volume":"24","author":"S. Horwitz","year":"1989","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 24(7) pp. 28\u201340 (July 1989).","journal-title":"ACM SIGPLAN Notices"},{"issue":"3","key":"18_CR11","doi-asserted-by":"publisher","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 Transactions on Programming Languages and Systems 11(3) pp. 345\u2013387 (July 1989).","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Horwitz, S., \u201cIdentifying the Semantic and Textual Differences Between Two Versions of a Program,\u201d Proceedings of the ACM SIGPLAN 90 Conference on Programming Language Design and Implementation, (White Plains, NY, June 20\u201322, 1990), ACM SIGPLAN Notices 25(6)(July 1990).","DOI":"10.1145\/93542.93574"},{"issue":"1","key":"18_CR13","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 Transactions on Programming Languages and Systems 12(1) pp. 26\u201360 (January 1990).","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"12","key":"18_CR14","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/T-C.1972.223501","volume":"C-21","author":"D.J. Kuck","year":"1972","unstructured":"Kuck, D.J., Muraoka, Y., and Chen, S.C., \u201cOn the number of operations simultaneously executable in FORTRAN-like programs and their resulting speed-up,\u201d IEEE Trans. on Computers C-21(12) pp. 1293\u20131310 (December 1972).","journal-title":"IEEE Trans. on Computers"},{"key":"18_CR15","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)."},{"key":"18_CR16","series-title":"Tech. Rep.","volume-title":"Restructuring symbolic Programs for Concurrent Execution on Multiprocessors","author":"J.R. Larus","year":"1989","unstructured":"Larus, J.R., \u201cRestructuring symbolic Programs for Concurrent Execution on Multiprocessors,\u201d Ph.D. dissertation and Tech. Rep. UCB\/CSD 89\/502, Computer Science Division, Dept. of Elec. Eng. and Comp. Sci., Univ. of California \u2014 Berkeley, Berkeley, CA (May 1989)."},{"key":"18_CR17","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Manna, Z., Mathematical Theory of Computation, McGraw-Hill, New York, NY (1974)."},{"issue":"5","key":"18_CR18","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 19(5) pp. 177\u2013184 (May 1984).","journal-title":"ACM SIGPLAN Notices"},{"key":"18_CR19","unstructured":"Pingali, K., Beck, M., Johnson, R., Moudgill, M., and Stodghill, P., \u201cDependence Flow Graphs: An Algebraic Approach to Program Dependencies,\u201d pp. 67\u201378 in Conference Record of the Eighteenth ACM Symposium on Principles of Programming Languages, (Orlando, FL, January 21\u201323, 1991), ACM, New York, NY (1991)."},{"key":"18_CR20","volume-title":"Semantics of program representation graphs","author":"G. Ramalingam","year":"1989","unstructured":"Ramalingam, G. and Reps, T., \u201cSemantics of program representation graphs,\u201d TR-900, Computer Sciences Department, University of Wisconsin, Madison, WI (December 1989)."},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Reps, T. and Yang, W., \u201cThe Semantics of Program Slicing and Program Integration,\u201d Proceedings of the International Joint Conference on Theory and Practice of Software Development (Colloquium on Current Issues in Programming Languages), (Barcelona, Spain, March 13\u201317, 1989), Lecture Notes in Computer Science 352 pp. 360\u2013374 Springer-Verlag, (1989).","DOI":"10.1007\/3-540-50940-2_47"},{"key":"18_CR22","first-page":"12","volume-title":"A Rewriting Semantics for Program Dependence Graphs","author":"R.P. Selke","year":"1989","unstructured":"Selke, R.P., \u201cA Rewriting Semantics for Program Dependence Graphs,\u201d pp. 12\u201324 in Conference Record of the Sixteenth ACM Symposium on Principles of Programming Languages, (Austin, TX, Jan. 11\u201313, 1989), ACM, New York, NY (1989)."},{"key":"18_CR23","series-title":"Technical Report","volume-title":"Program Dependence Graphs: A Formal Treatment","author":"R.P. Selke","year":"1990","unstructured":"Selke, R.P., \u201cProgram Dependence Graphs: A Formal Treatment,\u201d Technical Report TR90-130, Dept. of Computer Science, Rice Univ., Houston, TX (1990)."},{"key":"18_CR24","series-title":"Technical Report","volume-title":"Transforming Program Dependence Graphs","author":"R.P. Selke","year":"1990","unstructured":"Selke, R.P., \u201cTransforming Program Dependence Graphs,\u201d Technical Report TR90-131, Dept. of Computer Science, Rice Univ., Houston, TX (August 1990)."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54415-1_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:54:14Z","timestamp":1605628454000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54415-1_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544159","9783540476177"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-54415-1_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}