{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:22Z","timestamp":1725664282373},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584025"},{"type":"electronic","value":"9783540486954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58402-1_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:53:10Z","timestamp":1330271590000},"page":"415-431","source":"Crossref","is-referenced-by-count":10,"title":["Dynamic dependence in term rewriting systems and its application to program slicing"],"prefix":"10.1007","author":[{"given":"John","family":"Field","sequence":"first","affiliation":[]},{"given":"Frank","family":"Tip","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Aceto, L., Bloom, B., and Vaandrager, F. Turning SOS rules into equations. In Proc. IEEE Symp. on Logic in Computer Science (Santa Cruz, CA, June 1992), pp. 113\u2013124.","DOI":"10.1109\/LICS.1992.185526"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Bertot, Y. Occurrences in debugger specifications. In Proc. ACM SIGPLAN '91 Conf. on Programming Language Design and Implementation (Toronto, June 1991), pp. 327\u2013336.","DOI":"10.1145\/113445.113473"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Bertot, Y. Origin functions in \u03bb-calculus and term rewriting systems. In Proc. Seventeenth CAAP (1992), J.-C. Raoult, Ed., pp. 49\u201364. (Springer-Verlag LNCS 581).","DOI":"10.1007\/3-540-55251-0_3"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Cartwright, R., and Felleisen, M. The semantics of program dependence. In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (Portland, OR, 1989), pp. 13\u201327.","DOI":"10.1145\/73141.74820"},{"key":"29_CR5","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1016\/S0747-7171(06)80004-0","volume":"15","author":"A. Deursen van","year":"1993","unstructured":"Deursen, A. van, Klint, P., and Tip, F. Origin tracking. J. Symbolic Computation 15 (1993), 523\u2013545.","journal-title":"J. Symbolic Computation"},{"issue":"3","key":"29_CR6","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K. J., and Warren, J. D. The program dependence graph and its use in optimization. ACM Trans. on Programming Languages and Systems 9, 3 (July 1987), 319\u2013349.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Field, J. On laziness and optimality in lambda interpreters: Tools for specification and analysis. In Proc. Seventeenth ACM Symp. on Principles of Programming Languages (San Francisco, January 1990), pp. 1\u201315.","DOI":"10.1145\/96709.96710"},{"key":"29_CR8","unstructured":"Field, J. A simple rewriting semantics for realistic imperative programs and its application to program analysis. In Proc. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (San Francisco, June 1992), pp. 98\u2013107. Published as Yale University Technical Report YALEU\/DCS\/RR-909."},{"key":"29_CR9","volume-title":"Report CS-R94xx","author":"J. Field","year":"1994","unstructured":"Field, J., and Tip, F. Dynamic dependence in term rewriting systems and its application to program slicing. Report CS-R94xx, CWI, Amsterdam, 1994. Forthcoming."},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Kahn, G. Natural semantics. In Fourth Annual Symp. on Theoretical Aspects of Computer Science (1987), vol. 247 of LNCS, Springer-Verlag, pp. 22\u201339.","DOI":"10.1007\/BFb0039592"},{"issue":"2","key":"29_CR11","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1145\/151257.151260","volume":"2","author":"P. Klint","year":"1993","unstructured":"Klint, P. A meta-environment for generating programming environments. ACM Trans. on Software Engineering and Methodology 2, 2 (1993), 176\u2013201.","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"29_CR12","volume-title":"Tech. Rep. CS-R9073","author":"J. Klop","year":"1990","unstructured":"Klop, J. Term rewriting systems. Tech. Rep. CS-R9073, CWI, Amsterdam, The Netherlands, 1990."},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Maranget, L. Optimal derivations in weak lambda-calculi and in orthogonal term rewriting systems. In Proc. Eighteenth ACM Symp. on Principles of Programming Languages (Orlando, FL, January 1991), pp. 255\u2013269.","DOI":"10.1145\/99583.99618"},{"key":"29_CR14","unstructured":"Maranget, L. La Strat\u00e9gie Paresseuse. PhD thesis, Universit\u00e9 de Paris VIII, 1992. (in French)."},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"Ottenstein, K. J., and Ottenstein, L. M. The program dependence graph in a software development environment. In Proc. ACM SIGPLAN\/SIGSOFT Symp. on Practical Programming Development Environments (April 1984), pp. 177\u2013184. SIGPLAN Notices 19(5).","DOI":"10.1145\/800020.808263"},{"key":"29_CR16","unstructured":"Tip, F. A survey of program slicing methods. Forthcoming CWI technical report, 1994."},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"Venkatesh, G. The semantic approach to program slicing. In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (Toronto, June 1991), pp. 80\u201391.","DOI":"10.1145\/113445.113455"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Wadler, P., and Hughes, R. Projections for strictness analysis. In Proc. Conf. on Functional Programming and Computer Architecture (Portland, OR, September 1987), pp. 385\u2013406. (Springer-Verlag LNCS 274).","DOI":"10.1007\/3-540-18317-5_21"},{"key":"29_CR19","first-page":"352","volume":"4","author":"M. Weiser","year":"1989","unstructured":"Weiser, M. Program slicing. IEEE Trans. on Software Engineering SE-10, 4 (1989), 352\u2013357.","journal-title":"IEEE Trans. on Software Engineering SE-10"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58402-1_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:14:49Z","timestamp":1619572489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58402-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584025","9783540486954"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-58402-1_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}