{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T23:43:11Z","timestamp":1746229391599,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/scam.2002.1134110","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"105-114","source":"Crossref","is-referenced-by-count":2,"title":["An interprocedural amorphous slicer for WSL"],"prefix":"10.1109","author":[{"given":"M.","family":"Harman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Lin Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Munro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Xingyuan Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Danicic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Daoudi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Ouarbya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/WCRE.2001.957831"},{"year":"1995","author":"tip","article-title":"Generation of Program Analysis Tools","key":"ref11"},{"key":"ref12","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"tip","year":"1995","journal-title":"Journal of Programming Languages"},{"year":"1989","author":"ward","article-title":"Proving Program Refinements and Transformations","key":"ref13"},{"key":"ref14","article-title":"Assembler to C migration using the FermaT transformation system","author":"ward","year":"1999","journal-title":"IEEE International Conference on Software Maintenance (ICSM'99)"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/SCAM.2001.972680"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/CMPSAC.2002.1045029"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/TSE.1984.5010248"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/ICSM.2000.883049"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/S0950-5849(98)00086-X"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/WPC.1996.501116"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/SCAM.2001.972675"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/WPC.1997.601266"},{"key":"ref7","article-title":"Practical fine-grained static slicing of optimised code","author":"ernst","year":"1994","journal-title":"Technical Report MSR-TR-94-14"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1016\/S0065-2458(08)60641-5"},{"key":"ref1","first-page":"519","article-title":"Computing amorphous program slices using dependence graphs and a data-flow model","author":"binkley","year":"1999","journal-title":"ACM Symposium on Applied Computing"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1002\/swf.41"}],"event":{"acronym":"SCAM-02","name":"Second IEEE International Workshop on Source Code Analysis and Manipulation","location":"Montreal, Que., Canada"},"container-title":["Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8211\/25179\/01134110.pdf?arnumber=1134110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T16:43:08Z","timestamp":1489423388000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1134110\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/scam.2002.1134110","relation":{},"subject":[]}}