{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T22:36:29Z","timestamp":1648766189720},"reference-count":44,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2000,6,1]],"date-time":"2000-06-01T00:00:00Z","timestamp":959817600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge-Based Systems"],"published-print":{"date-parts":[[2000,6]]},"DOI":"10.1016\/s0950-7051(00)00058-7","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T11:53:17Z","timestamp":1027597997000},"page":"177-198","source":"Crossref","is-referenced-by-count":0,"title":["Slicing knowledge-based systems: techniques and applications"],"prefix":"10.1016","volume":"13","author":[{"given":"W.W.","family":"Vasconcelos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.A.T.","family":"Arag\u00e3o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-7051(00)00058-7_BIB1","series-title":"Dynamic slicing in the presence of unconstrained pointers","author":"Agrawal","year":"1993"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB2","series-title":"Warren's Abstract Machine","author":"A\u0131\u0308t-Kaci","year":"1991"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB3","series-title":"From Logic Programming to Prolog","author":"Apt","year":"1997"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB4","series-title":"Software Merging and Slicing","year":"1995"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB5","unstructured":"A.W. Bowles, Detecting Prolog Programming Techniques Using Abstract Interpretation. PhD thesis, Department of Artificial Intelligence, University of Edinburgh, 1992."},{"issue":"3","key":"10.1016\/S0950-7051(00)00058-7_BIB6","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1006\/ijhc.1994.1062","article-title":"Applying prolog programming techniques","volume":"41","author":"Bowles","year":"1994","journal-title":"Int. J. Human\u2013Comput. Studies"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB7","series-title":"Synthesis of directionality information for functional logic programs","volume":"vol. 724","author":"Boye","year":"1993"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB8","unstructured":"M. Bruynooghe, G. Janssens, A. Callebaut, B. Demoen, Abstract interpretation: towards the global optimisation of prolog programs. IEEE Symposium on Logic Programming, San Francisco, CA, August 1987, pp. 192\u2013204."},{"key":"10.1016\/S0950-7051(00)00058-7_BIB9","series-title":"Programming in Prolog","author":"Clocksin","year":"1994"},{"issue":"2","key":"10.1016\/S0950-7051(00)00058-7_BIB10","doi-asserted-by":"crossref","DOI":"10.1145\/234528.234740","article-title":"Abstract interpretation","volume":"28","author":"Cousot","year":"1996","journal-title":"ACM Computing Surveys"},{"issue":"4","key":"10.1016\/S0950-7051(00)00058-7_BIB11","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1145\/242224.242433","article-title":"Program analysis: the abstract interpretation perspective","volume":"28","author":"Cousot","year":"1996","journal-title":"ACM Computing Surveys"},{"issue":"2\/3","key":"10.1016\/S0950-7051(00)00058-7_BIB12","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","article-title":"Abstract interpretation and application to logic programs","volume":"13","author":"Cousot","year":"1992","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB13","unstructured":"S.K. Debray, D.S. Warren, Automatic mode inference for prolog programs. IEEE Symposium on Logic Programming, Salt Lake City, UT, September 1986, pp. 78\u201388."},{"key":"10.1016\/S0950-7051(00)00058-7_BIB14","series-title":"Critical slicing for software fault localization","author":"DeMillo","year":"1996"},{"issue":"8","key":"10.1016\/S0950-7051(00)00058-7_BIB15","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 Engng"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB16","series-title":"Expert Systems: Principles and Programming","author":"Giarratano","year":"1999"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB17","series-title":"Deriving analysers by folding\/unfolding of natural semantics and a case study: slicing","volume":"vol. 1503","author":"Gouranton","year":"1998"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB18","unstructured":"T. Guym\u00f3thy, J. Paaki, Static slicing of logic programs, in: Proc. Second International Workshop on Automated and Algorithmic Debugging, IRISA, University of Rennes I, France, 1995."},{"key":"10.1016\/S0950-7051(00)00058-7_BIB19","doi-asserted-by":"crossref","unstructured":"S. Horwitz, T. Reps, D. Binkley, Interprocedural slicing using dependence graphs. ACM Trans. on Program. Lang. & Systems, 12(1) (1990) 26\u201360, reprinted with permission in Ref. [4]","DOI":"10.1145\/77606.77608"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB20","unstructured":"H. Huang, W.T. Tsai, S. Subramanian, Generalized program slicing for software maintenance, in: Proc. Eighth International Conf. on Soft Engng. and Knowl. Engng., SEKE\u201996, Nevada, USA, Knowledge System Institute, 1996."},{"key":"10.1016\/S0950-7051(00)00058-7_BIB21","unstructured":"ISO, ISO Prolog Standard, Technical Report ISO\/IEC DIS 13211-1:1995(E), International Organisation for Standardisation, Geneva, Switzerland, 1995."},{"key":"10.1016\/S0950-7051(00)00058-7_BIB22","series-title":"A new model of program dependences for reverse engineering","author":"Jackson","year":"1994"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB23","series-title":"Introduction to Expert Systems","author":"Jackson","year":"1999"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB24","unstructured":"T. Kanamori, T. Kawamura, Analyzing success patterns of logic programs by abstract interpretation. Technical Report 279, ICOT, June 1987."},{"key":"10.1016\/S0950-7051(00)00058-7_BIB25","doi-asserted-by":"crossref","unstructured":"B. Korel, J. Laski, Dynamic program slicing. Inf. Proc. Lett., 29(3) (1988) 155\u2013163, reprinted with permission in Ref. [4].","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB26","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1993"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB27","unstructured":"H. Mannila, E. Ukkonen, Flow analysis of prolog programs. IEEE Symposium on Logic Programming, San Francisco, CA, August 1987, pp. 205\u2013214."},{"key":"10.1016\/S0950-7051(00)00058-7_BIB28","series-title":"Abstract interpretation of prolog programs","author":"Mellish","year":"1987"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB29","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1006\/ijhc.1997.0119","article-title":"Comparison of contrasting prolog trace output formats","volume":"47","author":"Patel","year":"1997","journal-title":"Int. J. Human\u2013Comput. Studies"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB30","series-title":"Speeding up slicing","author":"Reps","year":"1994"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB31","series-title":"Artificial Intelligence: A Modern Approach","author":"Russell","year":"1995"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB32","series-title":"A backward slicing algorithm for prolog","volume":"vol. 1145","author":"Schoenig","year":"1996"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB33","series-title":"Concepts of Programming Languages","author":"Sebesta","year":"1998"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB34","series-title":"Beyond traditional program slicing","author":"Sloane","year":"1996"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB35","series-title":"Composing prolog meta-interpreters","author":"Sterling","year":"1988"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB36","series-title":"The Art of Prolog: Advanced Programming Techniques","author":"Sterling","year":"1994"},{"issue":"3","key":"10.1016\/S0950-7051(00)00058-7_BIB37","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\/S0950-7051(00)00058-7_BIB38","unstructured":"W.W. Vasconcelos, A method of extracting prolog programming techniques. Technical Report 27, Department of Artificial Intelligence, University of Edinburgh, 1994."},{"key":"10.1016\/S0950-7051(00)00058-7_BIB39","doi-asserted-by":"crossref","unstructured":"W.W. Vasconcelos, Extracting, organising, designing and reusing prolog programming techniques, PhD thesis, Department of Artificial Intelligence, University of Edinburgh, August 1995.","DOI":"10.1007\/978-1-4471-3234-9_9"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB40","series-title":"A flexible framework for dynamic and static slicing of logic programs","volume":"vol. 1551","author":"Vasconcelos","year":"1999"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB41","series-title":"An adaptation of dynamic slicing techniques for logic programming","volume":"vol. 1515","author":"Vasconcelos","year":"1998"},{"key":"10.1016\/S0950-7051(00)00058-7_BIB42","series-title":"An implementation technique for the abstract interpretation of prolog","author":"Waern","year":"1988"},{"issue":"7","key":"10.1016\/S0950-7051(00)00058-7_BIB43","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1145\/358557.358577","article-title":"Programmers use slices when debugging","volume":"25","author":"Weiser","year":"1982","journal-title":"Commun. ACM"},{"issue":"4","key":"10.1016\/S0950-7051(00)00058-7_BIB44","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","article-title":"Program slicing","volume":"SE-10","author":"Weiser","year":"1984","journal-title":"IEEE Trans. Software Engng"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705100000587?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705100000587?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T08:24:34Z","timestamp":1578471874000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950705100000587"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,6]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,6]]}},"alternative-id":["S0950705100000587"],"URL":"https:\/\/doi.org\/10.1016\/s0950-7051(00)00058-7","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[2000,6]]}}}