{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:38Z","timestamp":1725663398643},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190271"},{"type":"electronic","value":"9783540389415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19027-9_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:55:45Z","timestamp":1330199745000},"page":"1-20","source":"Crossref","is-referenced-by-count":3,"title":["Semantics-based program integration"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Reps","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan","family":"Horwitz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"1_CR1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., and Ullman, J.D., Compilers: Principles, Techniques, and Tools, Addison-Wesley, Reading, MA (1986)."},{"key":"1_CR2","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)."},{"key":"1_CR3","series-title":"Tech Rep.","volume-title":"PTOOL: A semi-automatic parallel programming assistant","author":"R. Allen","year":"1986","unstructured":"Allen, R., Baumgartner, D., Kennedy, K., and Porterfield, A., \u201cPTOOL: A semi-automatic parallel programming assistant,\u201d Tech Rep. COMP TR86-31, Dept. of Computer Science, Rice Univ., Houston, TX (January 1986)."},{"key":"1_CR4","series-title":"Tech. Rep.","volume-title":"Speedup of ordinary programs","author":"U. Bannerjee","year":"1979","unstructured":"Bannerjee, U., \u201cSpeedup of ordinary programs,\u201d Ph.D. dissertation and Tech. Rep. R-79-989, Dept. of Computer Science, University of Illinois, Urbana, IL (October 1979)."},{"key":"1_CR5","first-page":"29","volume-title":"An efficient way to find the side effects of procedure calls and the aliases of variables","author":"J.P. Banning","year":"1979","unstructured":"Banning, J.P., \u201cAn efficient way to find the side effects of procedure calls and the aliases of variables,\u201d pp. 29\u201341 in Conference Record of the Sixth ACM Symposium on Principles of Programming Languages, (San Antonio, TX, Jan. 29\u201331, 1979), ACM, New York (1979)."},{"key":"1_CR6","series-title":"Tech. Rep.","volume-title":"Interprocedural side-effect analysis in linear time","author":"K.D. Cooper","year":"1987","unstructured":"Cooper, K.D. and Kennedy, K., \u201cInterprocedural side-effect analysis in linear time,\u201d Tech. Rep. COMP TR87-62, Dept. of Computer Science, Rice Univ., Houston, TX (October 1987)."},{"issue":"3","key":"1_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\n                9(3) pp. 319\u2013349 (July 1987).","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR8","volume-title":"\u201cIntegrating non-interfering versions of programs,\u201d TR-690","author":"S. Horwitz","year":"1987","unstructured":"Horwitz, S., Prins, J., and Reps, T., \u201cIntegrating non-interfering versions of programs,\u201d TR-690, Computer Sciences Department, University of Wisconsin, Madison, WI (March 1987)."},{"key":"1_CR9","volume-title":"Interprocedural slicing using dependence graphs","author":"S. Horwitz","year":"1987","unstructured":"Horwitz, S., Reps, T., and Binkley, D., \u201cInterprocedural slicing using dependence graphs,\u201d Extended abstract, Computer Sciences Department, University of Wisconsin, Madison, WI (November 1987)."},{"key":"1_CR10","volume-title":"Integrating non-interfering versions of programs","author":"S. Horwitz","year":"1988","unstructured":"Horwitz, S., Prins, J., and Reps, T., \u201cIntegrating non-interfering versions of programs,\u201d in Conference Record of the Fifteenth ACM Symposium on Principles of Programming Languages, (San Diego, CA, January 13\u201315, 1988), ACM, New York (1988)."},{"key":"1_CR11","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 in Conference Record of the Fifteenth ACM Symposium on Principles of Programming Languages, (San Diego, CA, January 13\u201315, 1988), ACM, New York (1988)."},{"key":"1_CR12","unstructured":"Horwitz, S., Prins, J., and Reps, T., \u201cSupport for integrating program variants in an environment for programming in the large,\u201d in Proceedings of the International Workshop on Software Version and Configuration Control 88, (Grassau, W. Germany, Jan. 28\u201329, 1988), (1988)."},{"key":"1_CR13","volume-title":"Program Flow Analysis: Theory and Applications","author":"N.D. Jones","year":"1981","unstructured":"Jones, N.D. and Muchnick, S.S., \u201cFlow analysis and optimization of Lisp-like structures,\u201d in Program Flow Analysis: Theory and Applications, ed. S.S. Muchnick and N.D. Jones,Prentice-Hall, Englewood Cliffs, NJ (1981)."},{"key":"1_CR14","volume-title":"Program Flow Analysis: Theory and Applications","author":"K. Kennedy","year":"1981","unstructured":"Kennedy, K., \u201cA survey of data flow analysis techniques,\u201d in Program Flow Analysis: Theory and Applications, ed. S.S. Muchnick and N.D. Jones,Prentice-Hall, Englewood Cliffs, NJ (1981)."},{"issue":"12","key":"1_CR15","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\n                C-21(12) pp. 1293\u20131310 (December 1972).","journal-title":"IEEE Trans. on Computers"},{"key":"1_CR16","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 (1981)."},{"issue":"5","key":"1_CR17","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/390011.808247","volume":"19","author":"T. Reps","year":"1984","unstructured":"Reps, T. and Teitelbaum, T., \u201cThe Synthesizer Generator,\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. 42\u201348 (May 1984).","journal-title":"ACM SIGPLAN Notices"},{"key":"1_CR18","volume-title":"The Synthesizer Generator: Reference Manual","author":"T. Reps","year":"1985","unstructured":"Reps, T. and Teitelbaum, T., The Synthesizer Generator: Reference Manual, Dept. of Computer Science, Cornell Univ., Ithaca, NY (August 1985, Second Edition: July 1987).","edition":"Second Edition"},{"key":"1_CR19","unstructured":"Reps, T. and Yang, W., \u201cThe semantics of program slicing,\u201d Tech. Rep. in preparation, Computer Sciences Department, University of Wisconsin, Madison, WI ()."},{"issue":"7","key":"1_CR20","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1002\/spe.4380150703","volume":"15","author":"W.F. Tichy","year":"1985","unstructured":"Tichy, W.F., \u201cRCS: A system for version control,\u201d Software \u2014 Practice & Experience\n                15(7) pp. 637\u2013654 (July 1985).","journal-title":"Software \u2014 Practice & Experience"},{"issue":"4","key":"1_CR21","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\n                SE-10(4) pp. 352\u2013357 (July 1984).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR22","series-title":"Tech. Rep.","volume-title":"Optimizing supercompilers for supercomputers","author":"M.J. Wolfe","year":"1982","unstructured":"Wolfe, M.J., \u201cOptimizing supercompilers for supercomputers,\u201d Ph.D. dissertation and Tech. Rep. R-821105, Dept. of Computer Science, University of Illinois, Urbana, IL (October 1982)."}],"container-title":["Lecture Notes in Computer Science","ESOP '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19027-9_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:19:03Z","timestamp":1619558343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19027-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190271","9783540389415"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-19027-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}