{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,14]],"date-time":"2025-02-14T05:14:50Z","timestamp":1739510090389,"version":"3.37.0"},"reference-count":47,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:00:00Z","timestamp":1267401600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,3,1]],"date-time":"2014-03-01T00:00:00Z","timestamp":1393632000000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1016\/j.scico.2009.11.001","type":"journal-article","created":{"date-parts":[[2009,11,19]],"date-time":"2009-11-19T19:55:40Z","timestamp":1258660540000},"page":"134-175","source":"Crossref","is-referenced-by-count":7,"title":["Combining dynamic and static slicing for analysing assembler"],"prefix":"10.1016","volume":"75","author":[{"given":"Martin","family":"Ward","sequence":"first","affiliation":[]},{"given":"Hussein","family":"Zedan","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"June","key":"10.1016\/j.scico.2009.11.001_b1","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1145\/93548.93576","article-title":"Dynamic program slicing","volume":"25","author":"Agrawal","year":"1990","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/j.scico.2009.11.001_b2","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF00289263","article-title":"Proving total correctness of nondeterministic programs in infinitary logic","volume":"15","author":"Back","year":"1981","journal-title":"Acta Informatica"},{"key":"10.1016\/j.scico.2009.11.001_b3","doi-asserted-by":"crossref","unstructured":"R. Balzer, EXDAMS \u2014 EXtendable debugging and monitoring system, in: Proceedings of the AFIPS SJCC, 1969, pp. 567\u2013586","DOI":"10.1145\/1476793.1476881"},{"key":"10.1016\/j.scico.2009.11.001_b4","unstructured":"\u00c1rp\u00e1d Besz\u00e9das, Csaba Farag\u00f3, Zsolt Mih\u00e1ly Szab\u00f3, J\u00e1nos Csirik, Tibor Gyimothy, Union slices for program maintenance, in: 18th International Conference on Software Maintenance, ICSM, 3rd\u20136th October 2002, Montreal Quebec, 2002"},{"key":"10.1016\/j.scico.2009.11.001_b5","unstructured":"Gianfranco Bilardi, Keshav Pingali, The static single assignment form and its computation, Cornell University Technical Report, http:\/\/www.cs.cornell.edu\/Info\/Projects\/Bernoulli\/papers\/ssa.ps, July, 1999, pp. 1\u201337"},{"key":"10.1016\/j.scico.2009.11.001_b6","doi-asserted-by":"crossref","unstructured":"Dave Binkley, Sebastian Danicic, Tibor Gyimothy, Mark Harman, Akos Kiss, Lahcen Ouarbya, Formalizing executable dynamic and forward slicing, in: Fourth International Workshop on Source Code Analysis and Manipulation, Los Alamitos, CA, USA, 2004","DOI":"10.1109\/SCAM.2004.13"},{"issue":"October","key":"10.1016\/j.scico.2009.11.001_b7","first-page":"45","article-title":"Amorphous program slicing","volume":"68","author":"Binkley","year":"2003","journal-title":"Journal of Systems and Software"},{"issue":"May","key":"10.1016\/j.scico.2009.11.001_b8","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/355592.365646","article-title":"Flow diagrams, Turing machines and languages with only two formation rules","volume":"9","author":"Bohm","year":"1966","journal-title":"Communications of the ACM"},{"key":"10.1016\/j.scico.2009.11.001_b9","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1016\/S0950-5849(98)00086-X","article-title":"Conditioned program slicing","volume":"40","author":"Canfora","year":"1998","journal-title":"Information and Software Technology"},{"key":"10.1016\/j.scico.2009.11.001_b10","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/74818.74820","article-title":"The semantics of program dependence","volume":"24","author":"Cartwright","year":"1989","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/j.scico.2009.11.001_b11","unstructured":"Sebastian Danicic, Dataflow Minimal Slicing, Ph.D. Thesis, London University, 1999"},{"year":"1976","series-title":"A Discipline of Programming","author":"Dijkstra","key":"10.1016\/j.scico.2009.11.001_b12"},{"key":"10.1016\/j.scico.2009.11.001_b13","doi-asserted-by":"crossref","unstructured":"Yishai A. Feldman, Doron A. Friedman, Portability by automatic translation: A large-scale case study, in: Proc. Tenth Knowledge-Based Software Engineering Conference, Boston, MA, November 1995, pp. 123\u2013130","DOI":"10.1109\/KBSE.1995.490127"},{"key":"10.1016\/j.scico.2009.11.001_b14","unstructured":"Mark Harman, Sebastian Danicic, Amorphous program slicing, in: 5th IEEE International Workshop on Program Comprehesion, IWPC\u201997, Dearborn, MI, USA, May 1997"},{"key":"10.1016\/j.scico.2009.11.001_b15","series-title":"9th IEEE International Conference on Software Maintenance","article-title":"ConSIT: A conditioned program slicer","author":"Harman","year":"2000"},{"key":"10.1016\/j.scico.2009.11.001_b16","unstructured":"Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, GUSTT: An amorphous slicing system which combines slicing and transformation, in: Proceedings of the Eighth Working Conference on Reverse Engineering, WCRE\u201901, Los Alamitos, CA, USA, 2001"},{"issue":"January","key":"10.1016\/j.scico.2009.11.001_b17","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":"Transactions on Programming Languages and Systems"},{"year":"1998","series-title":"The Year 2000 Software Problem \u2014 Quantifying the Costs and Assessing the Consequences","author":"Jones","key":"10.1016\/j.scico.2009.11.001_b18"},{"issue":"November","key":"10.1016\/j.scico.2009.11.001_b19","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1109\/2.471193","article-title":"Backfiring: Converting lines of code to function points","volume":"28","author":"Jones","year":"1995","journal-title":"IEEE Computer"},{"issue":"October","key":"10.1016\/j.scico.2009.11.001_b20","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0020-0190(88)90054-3","article-title":"Dynamic program slicing","volume":"29","author":"Korel","year":"1988","journal-title":"Information Processing Letters"},{"key":"10.1016\/j.scico.2009.11.001_b21","doi-asserted-by":"crossref","first-page":"3","DOI":"10.2307\/2322189","article-title":"The 3x+1 problem and its generalizations","volume":"92","author":"Lagarias","year":"1985","journal-title":"American Mathematical Monthly"},{"key":"10.1016\/j.scico.2009.11.001_b22","doi-asserted-by":"crossref","unstructured":"Andrea De Lucia, Mark Harman, Robert Hierons, Jens Krinke, Unions of slices are not slices, in: 7th European Conference on Software Maintenance and Reengineering Benevento, Italy, March 26\u201328th, 2003","DOI":"10.1109\/CSMR.2003.1192445"},{"issue":"May","key":"10.1016\/j.scico.2009.11.001_b23","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1145\/256167.256217","article-title":"Optimal control dependence computation and the Roman chariots problem","author":"Pingali","year":"1997","journal-title":"Transactions on Programming Languages and Systems"},{"key":"10.1016\/j.scico.2009.11.001_b24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/jsco.1994.1035","article-title":"A multipurpose backtracking algorithm","volume":"18","author":"Priestley","year":"1994","journal-title":"Journal of Symbolic Computation"},{"issue":"April","key":"10.1016\/j.scico.2009.11.001_b25","first-page":"7","article-title":"The e-business hat trick \u2014 Adaptive enterprises, adaptable software, agile IT professionals","volume":"13","author":"Scott","year":"2000","journal-title":"Cutter IT Journal"},{"key":"10.1016\/j.scico.2009.11.001_b26","unstructured":"Harry Sneed, Chris Verhoef, Reengineering the Corporation\u2013A Manifesto for IT Evolution. http:\/\/www.cs.vu.nl\/~x\/br\/br.html"},{"key":"10.1016\/j.scico.2009.11.001_b27","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2307\/3620327","article-title":"Two conjectures, or how to win \u00a31100","volume":"80","author":"Thwaites","year":"1996","journal-title":"Mathematical Gazette"},{"key":"10.1016\/j.scico.2009.11.001_b28","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1016\/j.jss.2004.12.021","article-title":"Efficient online computation of statement coverage","volume":"78","author":"Tikir","year":"2005","journal-title":"The Journal of Systems and Software"},{"key":"10.1016\/j.scico.2009.11.001_b29","unstructured":"F. Tip, Generation of program analysis tools, Cantrum voor Wiskunde en Informatica, Ph.D. Thesis, Amsterdam, 1995"},{"key":"10.1016\/j.scico.2009.11.001_b30","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/113446.113455","article-title":"The semantic approach to program slicing","volume":"26","author":"Venkatesh","year":"1991","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/j.scico.2009.11.001_b31","unstructured":"M. Ward, Proving program refinements and transformations, D.Phil. Thesis, Oxford University, 1989. http:\/\/www.cse.dmu.ac.uk\/~mward\/martin\/thesis"},{"key":"10.1016\/j.scico.2009.11.001_b32","doi-asserted-by":"crossref","unstructured":"M. Ward, Assembler to C migration using the FermaT transformation system, in: International Conference on Software Maintenance, 30th Aug\u20133rd Sept 1999, Oxford, England, 1999","DOI":"10.1109\/ICSM.1999.792571"},{"key":"10.1016\/j.scico.2009.11.001_b33","doi-asserted-by":"crossref","unstructured":"M. Ward, The formal transformation approach to source code analysis and manipulation, in: IEEE International Workshop on Source Code Analysis and Manipulation Florence, Italy, 10th November, Los Alamitos, CA, USA, 2001","DOI":"10.1109\/SCAM.2001.972680"},{"issue":"June","key":"10.1016\/j.scico.2009.11.001_b34","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1002\/smr.4360050204","article-title":"Abstracting a specification from code","volume":"5","author":"Ward","year":"1993","journal-title":"Journal of Software Maintenance: Research and Practice"},{"issue":"November","key":"10.1016\/j.scico.2009.11.001_b35","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1002\/smr.4360070606","article-title":"A definition of abstraction","volume":"7","author":"Ward","year":"1995","journal-title":"Journal of Software Maintenance: Research and Practice"},{"issue":"September","key":"10.1016\/j.scico.2009.11.001_b36","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1109\/32.541437","article-title":"Derivation of data intensive algorithms by formal transformation","volume":"22","author":"Ward","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.scico.2009.11.001_b37","unstructured":"M.P. Ward, H. Zedan, T. Hardcastle, Conditioned semantic slicing via abstraction and refinement in FermaT, in: 9th European Conference on Software Maintenance and Reengineering, CSMR, Manchester, UK, March 21\u201323, 2005"},{"key":"10.1016\/j.scico.2009.11.001_b38","first-page":"147","article-title":"Language oriented programming","volume":"15","author":"Ward","year":"1994","journal-title":"Software\u2014Concepts and Tools"},{"key":"10.1016\/j.scico.2009.11.001_b39","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/j.scico.2004.03.007","article-title":"Pigs from sausages? Reengineering from assembler to C via FermaT transformations","volume":"52","author":"Ward","year":"2004","journal-title":"Science of Computer Programming"},{"key":"10.1016\/j.scico.2009.11.001_b40","unstructured":"Martin Ward, Hussein Zedan, Deriving a slicing algorithm via FermaT transformations, IEEE TSE, 2009 (in press)"},{"issue":"April","key":"10.1016\/j.scico.2009.11.001_b41","first-page":"1","article-title":"Slicing as a program transformation","volume":"29","author":"Ward","year":"2007","journal-title":"Transactions on Programming Languages and Systems"},{"key":"10.1016\/j.scico.2009.11.001_b42","doi-asserted-by":"crossref","unstructured":"Martin Ward, Hussein Zedan, Tim Hardcastle, Legacy assembler reengineering and migration, in: 20th IEEE International Conference on Software Maintenance, 11th\u201317th Sept, Chicago, IL, USA, 2004, pp. 102\u2013130","DOI":"10.1109\/ICSM.2004.1357800"},{"issue":"October","key":"10.1016\/j.scico.2009.11.001_b43","doi-asserted-by":"crossref","first-page":"1273","DOI":"10.1002\/spe.869","article-title":"Conditioned semantic slicing for abstraction; industrial experiment","volume":"38","author":"Ward","year":"2008","journal-title":"Software Practice and Experience"},{"issue":"July","key":"10.1016\/j.scico.2009.11.001_b44","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 Transactions on Software Engineering"},{"key":"10.1016\/j.scico.2009.11.001_b45","unstructured":"Mark Weiser, Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method, Ph.D. Thesis, University of Michigan, Ann Arbor, 1979"},{"year":"2003","series-title":"Successful Evolution of Software Systems","author":"Yang","key":"10.1016\/j.scico.2009.11.001_b46"},{"key":"10.1016\/j.scico.2009.11.001_b47","unstructured":"Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu, Mechanized Operational Semantics of WSL, in: IEEE International Workshop on Source Code Analysis and Manipulation, SCAM, Los Alamitos, CA, USA, 2002"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642309001488?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642309001488?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T09:51:02Z","timestamp":1739440262000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642309001488"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["S0167642309001488"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2009.11.001","relation":{},"ISSN":["0167-6423"],"issn-type":[{"type":"print","value":"0167-6423"}],"subject":[],"published":{"date-parts":[[2010,3]]}}}