{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:26:23Z","timestamp":1761596783490,"version":"3.30.1"},"reference-count":49,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3850,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1016\/s0304-3975(02)00374-2","type":"journal-article","created":{"date-parts":[[2002,10,28]],"date-time":"2002-10-28T17:15:47Z","timestamp":1035825347000},"page":"831-862","source":"Crossref","is-referenced-by-count":10,"title":["Equivalence of conservative, free, linear program schemas is decidable"],"prefix":"10.1016","volume":"290","author":[{"given":"Michael R.","family":"Laurence","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Danicic","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[]},{"given":"Rob","family":"Hierons","sequence":"additional","affiliation":[]},{"given":"John","family":"Howroyd","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"6","key":"10.1016\/S0304-3975(02)00374-2_BIB1","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1002\/spe.4380230603","article-title":"Debugging with dynamic slicing and backtracking","volume":"23","author":"Agrawal","year":"1993","journal-title":"Software Practice Experience"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB2","doi-asserted-by":"crossref","unstructured":"J. Beck, D. Eichmann, Program and interface slicing for reverse engineering, in: Proc. IEEE\/ACM 15th Conf. on Software Engineering (ICSE\u201993), IEEE Computer Society Press, Los Alamitos, CA, 1993, pp. 509\u2013518.","DOI":"10.1109\/ICSE.1993.346015"},{"issue":"8","key":"10.1016\/S0304-3975(02)00374-2_BIB3","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1109\/32.310673","article-title":"Measuring functional cohesion","volume":"20","author":"Bieman","year":"1994","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0304-3975(02)00374-2_BIB4","first-page":"583","article-title":"The application of program slicing to regression testing","volume":"Vol. 40","author":"Binkley","year":"1998"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB5","first-page":"1","article-title":"Program slicing","volume":"Vol. 43","author":"Binkley","year":"1996"},{"issue":"1","key":"10.1016\/S0304-3975(02)00374-2_BIB6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/201055.201056","article-title":"Program integration for languages with procedure calls","volume":"4","author":"Binkley","year":"1995","journal-title":"ACM Trans. Software Eng. Methodol."},{"key":"10.1016\/S0304-3975(02)00374-2_BIB7","doi-asserted-by":"crossref","unstructured":"G. Canfora, A. Cimitile, A. De Lucia, G.A.D. Lucca, Software salvaging based on conditions, in: Proc. Internat. Conf. on Software Maintenance (ICSM\u201996), Victoria, Canada, IEEE Computer Society Press, Los Alamitos, CA, 1994, pp. 424\u2013433.","DOI":"10.1109\/ICSM.1994.336752"},{"issue":"2","key":"10.1016\/S0304-3975(02)00374-2_BIB8","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1002\/smr.4360060202","article-title":"RE2: reverse engineering and reuse re-engineering","volume":"6","author":"Canfora","year":"1994","journal-title":"J. Software Maintenance: Res. Practice"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB9","doi-asserted-by":"crossref","unstructured":"R. Cartwright, M. Felleisen, The semantics of program dependence, in: Proc. IEEE Computer Society Press, Los Alamitos, CA, ACM SIGPLAN Conf. on Programming Language Design and Implementation, 1989, pp. 13\u201327.","DOI":"10.1145\/73141.74820"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB10","doi-asserted-by":"crossref","unstructured":"A. Cimitile, A. De Lucia, M. Munro, Identifying reusable functions using specification driven program slicing: a case study, in: Proc. IEEE Internat. Conf. on Software Maintenance (ICSM\u201995), Nice, France, IEEE Computer Society Press, Los Alamitos, CA, 1995, pp. 124\u2013133.","DOI":"10.1109\/ICSM.1995.526534"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB11","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1002\/(SICI)1096-908X(199605)8:3<145::AID-SMR127>3.0.CO;2-9","article-title":"A specification driven slicing process for identifying reusable functions","volume":"8","author":"Cimitile","year":"1996","journal-title":"Software Maintenance: Res. Practice"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB12","unstructured":"S. Danicic, Dataflow minimal slicing, Ph.D. Thesis, University of North London, UK, School of Informatics, April 1999."},{"issue":"6","key":"10.1016\/S0304-3975(02)00374-2_BIB13","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/0020-0190(95)00170-0","article-title":"A parallel algorithm for static program slicing","volume":"56","author":"Danicic","year":"1995","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0304-3975(02)00374-2_BIB14","doi-asserted-by":"crossref","unstructured":"A. De Lucia, Program slicing: methods and applications, in: Proc. 1st IEEE Internat. Workshop on Source Code Analysis and Manipulation, IEEE Computer Society Press, Los Alamitos, CA, Florence, Italy, 2001, pp. 142\u2013149.","DOI":"10.1109\/SCAM.2001.972675"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB15","doi-asserted-by":"crossref","unstructured":"A. De Lucia, A.R. Fasolino, M. Munro, Understanding function behaviours through program slicing, in: Proc. 4th IEEE Workshop on Program Comprehension, Berlin, Germany, IEEE Computer Society Press, Los Alamitos, CA, 1996, pp. 9\u201318.","DOI":"10.1109\/WPC.1996.501116"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB16","unstructured":"A.P. Ershov, Theory of program schemata, Inform. Process. (1971)."},{"key":"10.1016\/S0304-3975(02)00374-2_BIB17","doi-asserted-by":"crossref","unstructured":"J. Field, G. Ramalingam, F. Tip, Parametric program slicing, in: Proc. 22nd ACM Symp. on Principles of Programming Languages, San Francisco, CA, 1995, pp. 379\u2013392.","DOI":"10.1145\/199448.199534"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB18","doi-asserted-by":"crossref","unstructured":"K.B. Gallagher, Evaluating the surgeon's assistant: results of a pilot study, in: Proc. Internat. Conf. on Software Maintenance, IEEE Computer Society Press, Los Alamitos, CA, 1992, pp. 236\u2013244.","DOI":"10.1109\/ICSM.1992.242538"},{"issue":"8","key":"10.1016\/S0304-3975(02)00374-2_BIB19","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1109\/32.83912","article-title":"Using program slicing in software maintenance","volume":"17","author":"Gallagher","year":"1991","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0304-3975(02)00374-2_BIB20","article-title":"Theory of Program Structures: Schemes, Semantics, Verification","volume":"Vol. 36","author":"Greibach","year":"1975"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB21","doi-asserted-by":"crossref","unstructured":"R. Gupta, M.J. Harrold, M.L. Soffa, An approach to regression testing using slicing, in: Proc. IEEE Conf. on Software Maintenance, Orlando, FL, IEEE Computer Society Press, Los Alamitos, CA, 1992, pp. 299\u2013308.","DOI":"10.1109\/ICSM.1992.242531"},{"issue":"3","key":"10.1016\/S0304-3975(02)00374-2_BIB22","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1002\/stvr.4370050303","article-title":"Using program slicing to simplify testing","volume":"5","author":"Harman","year":"1995","journal-title":"Software Testing Verification Reliability"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB23","doi-asserted-by":"crossref","unstructured":"M. Harman, S. Danicic, Amorphous program slicing, in: Proc. 5th IEEE Internat. Workshop on Program Comprehension (IWPC\u201997), Dearborn, MI, IEEE Computer Society Press, Los Alamitos, CA, 1997, pp. 70\u201379.","DOI":"10.1109\/WPC.1997.601266"},{"issue":"3","key":"10.1016\/S0304-3975(02)00374-2_BIB24","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1002\/swf.41","article-title":"An overview of program slicing","volume":"2","author":"Harman","year":"2001","journal-title":"Software Focus"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB25","doi-asserted-by":"crossref","unstructured":"M. Harman, R.M. Hierons, S. Danicic, J. Howroyd, C. Fox, Pre\/post conditioned slicing, in: Proc. IEEE Internat. Conf. on Software Maintenance (ICSM\u201901), Florence, Italy, IEEE Computer Society Press, Los Alamitos, CA, 2001, pp. 138\u2013147.","DOI":"10.1109\/ICSM.2001.972724"},{"issue":"4","key":"10.1016\/S0304-3975(02)00374-2_BIB26","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1007\/BF01213536","article-title":"Slicing programs in the presence of errors","volume":"8","author":"Harman","year":"1996","journal-title":"Formal Aspects Comput."},{"year":"1977","series-title":"Flow Analysis of Computer Programs","author":"Hecht","key":"10.1016\/S0304-3975(02)00374-2_BIB27"},{"issue":"4","key":"10.1016\/S0304-3975(02)00374-2_BIB28","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3","article-title":"Using program slicing to assist in the detection of equivalent mutants","volume":"9","author":"Hierons","year":"1999","journal-title":"Software Testing Verification Reliability"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB29","doi-asserted-by":"crossref","unstructured":"R.M. Hierons, M. Harman, C. Fox, L. Ouarbya, M. Daoudi, Conditioned slicing supports partition testing, Software Testing Verification Reliability, in preparation.","DOI":"10.1002\/stvr.232"},{"issue":"3","key":"10.1016\/S0304-3975(02)00374-2_BIB30","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/65979.65980","article-title":"Integrating non-interfering versions of programs","volume":"11","author":"Horwitz","year":"1989","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB31","doi-asserted-by":"crossref","unstructured":"S. Horwitz, T. Reps, D.W. Binkley, Interprocedural slicing using dependence graphs, in: Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, Atlanta, GA, 1988, pp. 25\u201346; Proc. in SIGPLAN Notices 23(7) (1988) 35\u201346.","DOI":"10.1145\/53990.53994"},{"issue":"1","key":"10.1016\/S0304-3975(02)00374-2_BIB32","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/77606.77608","article-title":"Interprocedural slicing using dependence graphs","volume":"12","author":"Horwitz","year":"1990","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB33","unstructured":"Y.I. Ianov, The logical schemes of algorithms, in: Problems of Cybernetics, Vol. 1, Pergamon Press, New York, 1960, pp. 82\u2013140."},{"key":"10.1016\/S0304-3975(02)00374-2_BIB34","unstructured":"M. Kamkar, Interprocedural dynamic slicing with applications to debugging and testing, Ph.D. Thesis, Department of Computer Science and Information Science, Link\u00f6ping University, Sweden, available as Link\u00f6ping Studies in Science and Technology, Dissertations, Number 297, 1993."},{"key":"10.1016\/S0304-3975(02)00374-2_BIB35","doi-asserted-by":"crossref","unstructured":"A. Lakhotia, Rule-based approach to computing module cohesion, in: Proc. 15th Conf. on Software Engineering (ICSE-15), 1993, pp. 34\u201344.","DOI":"10.1109\/ICSE.1993.346057"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB36","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/S0022-0000(70)80022-8","article-title":"On formalised computer programs","volume":"4","author":"Luckham","year":"1970","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0304-3975(02)00374-2_BIB37","unstructured":"J.R. Lyle, M. Weiser, Automatic program bug location by program slicing, in: Proc. 2nd Internat. Conf. on Computers and Applications, Peking, IEEE Computer Society Press, Los Alamitos, CA, 1987, pp. 877\u2013882."},{"year":"1974","series-title":"Mathematical Theory of Computation","author":"Manna","key":"10.1016\/S0304-3975(02)00374-2_BIB38"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB39","doi-asserted-by":"crossref","unstructured":"L.M. Ott, J.J. Thuss, Slice based metrics for estimating cohesion, in: Proc. IEEE-CS Internat. Metrics Symp., Baltimore, MD, IEEE Computer Society Press, Los Alamitos, CA, 1993, pp. 71\u201381.","DOI":"10.1109\/METRIC.1993.263799"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB40","unstructured":"M.S. Paterson, Equivalence problems in a model of computation, Ph.D. Thesis, University of Cambridge, UK, 1967."},{"key":"10.1016\/S0304-3975(02)00374-2_BIB41","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0304-3975(90)90201-R","article-title":"An algorithm for deciding functional equivalence in a new class of program schemes","volume":"71","author":"Sabelfeld","year":"1990","journal-title":"J. Theoret. Computer Sci."},{"issue":"3","key":"10.1016\/S0304-3975(02)00374-2_BIB42","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/174245.174252","article-title":"Recoup\u2014maintaining fortran","volume":"12","author":"Simpson","year":"1993","journal-title":"ACM Fortran Forum"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB43","doi-asserted-by":"crossref","unstructured":"G. Snelting, Combining slicing and constraint solving for validation of measurement software, in: Static Analysis Symposium (SAS\u201996), Lecture Notes in Computer Science, Vol. 1145, Springer, Berlin, 1996, pp. 332\u2013348.","DOI":"10.1007\/3-540-61739-6_51"},{"issue":"3","key":"10.1016\/S0304-3975(02)00374-2_BIB44","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip","year":"1995","journal-title":"J. Programming Languages"},{"key":"10.1016\/S0304-3975(02)00374-2_BIB45","unstructured":"M. Weiser, Program slices: formal, psychological, and practical investigations of an automatic program abstraction method, Ph.D. Thesis, University of Michigan, Ann Arbor, MI, 1979."},{"issue":"4","key":"10.1016\/S0304-3975(02)00374-2_BIB46","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","article-title":"Program slicing","volume":"10","author":"Weiser","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0304-3975(02)00374-2_BIB47","unstructured":"M. Weiser, J.R. Lyle, Experiments on slicing-based debugging aids, in: Soloway, Iyengar (Eds.), Empirical Studies of Programmers, Molex, 1985, Chap. 12, pp. 187\u2013197."},{"issue":"4","key":"10.1016\/S0304-3975(02)00374-2_BIB48","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1137\/0208047","article-title":"Translatability and decidability questions for restricted classes of program schemas","volume":"8","author":"Weyuker","year":"1979","journal-title":"SIAM J. Comput."},{"issue":"3","key":"10.1016\/S0304-3975(02)00374-2_BIB49","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0022-0000(79)90036-9","article-title":"Modifications of the program scheme model","volume":"18","author":"Weyuker","year":"1979","journal-title":"J. Comput. System Sci."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397502003742?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397502003742?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,10]],"date-time":"2024-12-10T22:25:49Z","timestamp":1733869549000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397502003742"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["S0304397502003742"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(02)00374-2","relation":{},"ISSN":["0304-3975"],"issn-type":[{"type":"print","value":"0304-3975"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}