{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T23:28:11Z","timestamp":1707521291646},"reference-count":70,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2006,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>A formal relationship between program slicing and partial evaluation is established. It is proved that for terminating programs, a residual program produced by partial evaluation is semantically equivalent to a conditioned slice.<\/jats:p>","DOI":"10.1007\/s00165-005-0077-6","type":"journal-article","created":{"date-parts":[[2006,5,11]],"date-time":"2006-05-11T13:39:36Z","timestamp":1147354776000},"page":"103-119","source":"Crossref","is-referenced-by-count":7,"title":["A formal relationship between program slicing and partial evaluation"],"prefix":"10.1145","volume":"18","author":[{"given":"David W.","family":"Binkley","sequence":"first","affiliation":[{"name":"Department of Computer Science, Loyola College, 4501 N. Charles Street, 21210-2699, Baltimore, Maryland, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Danicic","sequence":"additional","affiliation":[{"name":"Department of Computing, Goldsmiths College, University of London, New Cross, SE14 6NW, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[{"name":"Software Engineering Group, Department of Computer Science, King's College London, WC2R 2LS, London, Strand, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Howroyd","sequence":"additional","affiliation":[{"name":"@UK PLC, 5 Jupiter House, Calleva Park, RG7 8NN, Aldermaston, Berkshire, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lahcen","family":"Ouarbya","sequence":"additional","affiliation":[{"name":"Department of Computing, Goldsmiths College, University of London, New Cross, SE14 6NW, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"p_1","first-page":"54","volume-title":"Proceedings of the 1992 ACM workshop on partial evaluation and semantics-based program manipulation","author":"And L","year":"1992"},{"key":"p_2","first-page":"509","volume-title":"Proceedings of the IEEE\/ACM 15th conference on software engineering (ICSE'93)","author":"Beck J","year":"1993"},{"key":"p_3","volume-title":"Article 17","author":"Blazy S","year":"1998"},{"key":"p_4","first-page":"1","volume-title":"Zelkowitz M (ed) Advances in computing","author":"Binkley DW","year":"1996"},{"key":"p_5","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0065-2458(03)62003-6","article-title":"A survey of empirical results on program slicing","volume":"62","author":"Binkley DW","year":"2004","journal-title":"Adv Comput"},{"issue":"4","key":"p_6","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(76)90011-4","article-title":"A partial evaluator, and its use as a programming tool","volume":"7","author":"Beckman L","year":"1976","journal-title":"Artif Intell"},{"issue":"8","key":"p_7","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/32.624306","article-title":"Semantics guided regression test cost reduction","volume":"23","author":"Bin DW","year":"1997","journal-title":"IEEE Trans Softw Eng"},{"key":"p_8","first-page":"583","volume-title":"Harman M, Gallagher K (eds), Information and software technology special issue on program slicing","author":"Bin DW","year":"1998"},{"key":"p_9","first-page":"519","volume-title":"ACM symposium on applied computing, The Menger","author":"Bin DW","year":"1999"},{"issue":"8","key":"p_10","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1109\/32.310673","article-title":"Measuring functional cohesion","volume":"20","author":"Bieman JM","year":"1994","journal-title":"IEEE Trans Softw Eng"},{"key":"p_11","first-page":"595","volume-title":"Harman M, Gallagher K (eds) Information and software technology special issue on program slicing, vol 40","author":"Canfora G","year":"1998"},{"key":"p_12","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 A","year":"1996","journal-title":"Softw Maint: Res Pract"},{"key":"p_13","first-page":"13","volume-title":"Proceedings of ACM SIGPLAN conference on programming language design and implementation","author":"Cartwright R","year":"1989"},{"key":"p_14","volume-title":"September","author":"Consel C","year":"1998"},{"key":"p_15","volume-title":"Article 19","author":"Consel C","year":"1998"},{"key":"p_17","volume-title":"Consus: A lightweight program conditioner. J Syst Softw (accepted)","author":"Danicic S","year":"2004"},{"key":"p_18","first-page":"109","volume-title":"ConSUS: A scalable approach to conditioned slicing","author":"Daoudi M","year":"2002"},{"key":"p_19","volume-title":"Proceedings of the 12th international workshop on program comprehension (IWPC 2004","author":"Danicic S","year":"2004"},{"key":"p_20","first-page":"142","volume-title":"Procedings of the 1st IEEE international workshop on source code analysis and manipulation","author":"De A","year":"2001"},{"key":"p_21","first-page":"216","volume-title":"Proceedings of the IEEE international conference on software maintenance (ICSM'00)","author":"Danicic S","year":"2000"},{"key":"p_22","first-page":"9","volume-title":"Proceedings of the 4th IEEE workshop on program comprehension","author":"De Lucia A","year":"1996"},{"key":"p_23","volume-title":"Proceedings of the 1st. international workshop on programming language interference and dependence","author":"Danicic S","year":"2004"},{"key":"p_24","volume-title":"September","author":"Dwyer M","year":"1998"},{"key":"p_25","volume-title":"September","author":"Dra S","year":"1998"},{"key":"p_26","first-page":"391","volume-title":"North-Holland","author":"Ers AP","year":"1978"},{"key":"p_27","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1002\/spe.556","article-title":"ConSIT: a fully automated conditioned program slicer","volume":"34","author":"Fox C","year":"2004","journal-title":"Softw Pract Exp"},{"key":"p_28","first-page":"89","volume-title":"Proceedings of the 9th IEEE international workshop on program comprenhesion (IWPC'01)","author":"Fox C","year":"2001"},{"key":"p_29","first-page":"133","volume-title":"North-Holland","author":"Futamura Y","year":"1987"},{"key":"p_30","first-page":"379","volume-title":"Proceedings of the 22nd ACM symposium on principles of programming languages","author":"Field J","year":"1995"},{"issue":"5","key":"p_31","first-page":"721","article-title":"Partial evaluation of computation process - an approach to a compiler compiler","volume":"2","author":"Fut Y","year":"1971","journal-title":"Syst Comput Controls"},{"issue":"4","key":"p_32","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1023\/A:1010095604496","article-title":"Partial evaluation of computation process - an approach to a compiler-compiler","volume":"12","author":"Fut Y","year":"1999","journal-title":"HighOrder Symbolic Comput"},{"issue":"4","key":"p_33","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1023\/A:1010043619517","article-title":"Partial evaluation of computation process, revisited","volume":"12","author":"Fut Y","year":"1999","journal-title":"HighOrder Symbolic Comput"},{"key":"p_34","first-page":"299","volume-title":"Proceedings of the IEEE conference on software maintenance","author":"Gupta R","year":"1992"},{"key":"p_35","first-page":"1139","volume-title":"proceedings of the IFIP 11th World computer congress, IFIP","author":"Gomard CK","year":"1989"},{"key":"p_36","first-page":"123","article-title":"Compiler generation by partial evaluation: a case study","volume":"12","author":"Gomard CK","year":"1991","journal-title":"Struct Program"},{"issue":"8","key":"p_37","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1109\/32.83912","article-title":"Using program slicing in software maintenance","volume":"17","author":"Gallagher KB","year":"1991","journal-title":"IEEE Trans Softw Eng"},{"issue":"4","key":"p_38","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1023\/A:1025872819613","article-title":"Non-standard semantics for program slicing","volume":"16","author":"Giacobazzi R","year":"2003","journal-title":"HighOrder Symbolic Comput"},{"key":"p_39","first-page":"137","volume-title":"Danvy O, Gl\u00fcck R, Thiemann P (eds) Proceedings of the Dagstuhl seminar on partial evaluation, vol 1110","author":"Gl\u00fcck R","year":"1996"},{"key":"p_40","first-page":"195","volume-title":"Conference record of the 5th annual ACM symposium on principles of Programming Languages","author":"Har A","year":"1978"},{"issue":"1","key":"p_41","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/S0164-1212(02)00135-8","article-title":"Amorphous program slicing","volume":"68","author":"Harman M","year":"2003","journal-title":"J Syst Softw"},{"issue":"3","key":"p_42","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1002\/stvr.4370050303","article-title":"Using program slicing to simplify testing","volume":"5","author":"Harman M","year":"1995","journal-title":"Softw Test Verif Rel"},{"key":"p_43","first-page":"70","volume-title":"Proceedings of the 5th IEEE international workshop on program comprenhesion (IWPC'97)","author":"Harman M","year":"1997"},{"issue":"3","key":"p_44","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1002\/swf.41","article-title":"An overview of program slicing","volume":"2","author":"Harman M","year":"2001","journal-title":"Softw Focus"},{"issue":"4","key":"p_45","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 RM","year":"1999","journal-title":"Softw Test Verif Rel"},{"key":"p_46","first-page":"138","volume-title":"Proceedings of the IEEE international conference on software maintenance (ICSM'01)","author":"Harman M","year":"2001"},{"key":"p_47","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1002\/stvr.232","article-title":"Conditioned slicing supports partition testing","volume":"12","author":"Hierons RM","year":"2002","journal-title":"Softw Test Verif Rel"},{"key":"p_48","volume-title":"Proceedings of the 1st Workshop on Analysis, Slicing, and Transformation (AST 2001","author":"Harman M","year":"2001"},{"issue":"3","key":"p_49","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/65979.65980","article-title":"Integrating non-interfering versions of programs","volume":"11","author":"Horwitz S","year":"1989","journal-title":"ACM Trans Program Lang Syst"},{"key":"p_50","volume-title":"ACM SIGPLAN conference on programming language design and implementation","author":"Horwitz S","year":"1988"},{"key":"p_51","volume-title":"Partial evaluation and automatic program generation","author":"Jones ND","year":"1993"},{"key":"p_53","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-15976-2_6","volume-title":"Jouannaud J-P (ed) Rewriting techniques and applications: Dijon, France, vol 202 of Lecture notes in computer science","author":"Jones ND","year":"1985"},{"issue":"1","key":"p_54","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","article-title":"Mix: A self-applicable partial evaluator for experiments in compiler generation","volume":"2","author":"Jones ND","year":"1989","journal-title":"Lisp Symbol Comput"},{"issue":"4","key":"p_56","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/202176.202184","article-title":"Fortran program specialization","volume":"30","author":"Kleinrubatscher P","year":"1995","journal-title":"SIGPLAN Notices"},{"key":"p_57","first-page":"661","volume-title":"Harman M, Gallagher K (eds) Information and software technology special issue on program slicing, vol 40","author":"Krinke J","year":"1998"},{"key":"p_58","first-page":"34","volume-title":"Proceedings of the 15th conference on software engineering (ICSE-15)","author":"Lak A","year":"1993"},{"key":"p_59","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1016\/S1383-7621(01)00003-0","article-title":"Specification-based program slicing and its applications","volume":"47","author":"Lee WK","year":"2001","journal-title":"J Syst Architect"},{"key":"p_60","first-page":"677","volume-title":"Harman M, Gallagher K (eds) Information and software technology special issue on program slicing, vol 40","author":"Lakhotia A","year":"1998"},{"key":"p_61","volume-title":"An approach to eliminating COMMON blocks and deriving ADTs from Fortran programs. Technical report","author":"Liu L","year":"1993"},{"key":"p_62","first-page":"877","volume-title":"Proceedings of the 2nd international conference on computers and applications","author":"Lyle JR","year":"1987"},{"issue":"5","key":"p_63","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/390011.808263","article-title":"The program dependence graph in software development environments","volume":"19","author":"Ottenstein KJ","year":"1984","journal-title":"SIGPLAN Notices"},{"key":"p_64","volume-title":"Proceedings of the IEEE-CS international metrics symposium","author":"Ott LM","year":"1993"},{"key":"p_66","first-page":"409","volume-title":"Danvy O, Gl\u00fcck R, Thiemann P (eds) In: Proceedings of the Dagstuhl seminar on partial evaluation, vol 1110 Schloss Dagstuhl","author":"Reps T","year":"1996"},{"key":"p_67","first-page":"485","volume-title":"5th European symposium on programming, vol 788 of Lecture notes in computer science","author":"S\u00f8rensen MH","year":"1994"},{"key":"p_69","volume-title":"M.I.T.","author":"Ste DC","year":"1975"},{"key":"p_70","volume-title":"Recoup - Maintaining Fortran. ACM Fortran forum 12(3):26-32","author":"Simpson D","year":"1993"},{"issue":"3","key":"p_71","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip F","year":"1995","journal-title":"J Program Lang"},{"key":"p_72","volume-title":"Proceediongs of IEEE international conference on software maintenance (ICSM'99)","author":"War M","year":"1999"},{"key":"p_73","volume-title":"Proceedings of the 26th IEEE annual computer software and applications conference (COMPSAC 2002","author":"War M","year":"2002"},{"key":"p_74","volume-title":"Proceedings of the IEEE international workshop on source code analysis and manipulation (SCAM 2003","author":"War M","year":"2003"},{"issue":"7","key":"p_76","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1145\/358557.358577","article-title":"Programmers use slicing when debugging","volume":"25","author":"Wei M","year":"1982","journal-title":"Commun ACM"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-005-0077-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-005-0077-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-005-0077-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:51:58Z","timestamp":1641484318000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-005-0077-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":70,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["10.1007\/s00165-005-0077-6"],"URL":"https:\/\/doi.org\/10.1007\/s00165-005-0077-6","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}