{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T04:03:14Z","timestamp":1748145794444,"version":"3.41.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1023\/a:1013280119003","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T21:22:07Z","timestamp":1040678527000},"page":"41-65","source":"Crossref","is-referenced-by-count":13,"title":["Static and Dynamic Slicing of Constraint Logic Programs"],"prefix":"10.1007","volume":"9","author":[{"given":"Gy\u00f6ngyi","family":"Szil\u00e1gyi","sequence":"first","affiliation":[]},{"given":"Tibor","family":"Gyim\u00f3thy","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Ma\u0142uszy\u0144ski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"388088_CR1","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1145\/158511.158694","volume-title":"Conference Record of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"S. Bates","year":"1993","unstructured":"Bates, S. and Horwitz, S. 1993. Incremental program testing using program dependence graphs. In Conference Record of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South California: ACM Press, pp. 384\u2013396."},{"key":"388088_CR2","doi-asserted-by":"crossref","unstructured":"Deransart, P. and Aillaud, C. 2000. Towards a language for CLP choice-tree visualisation. In P. Deransart, M. Hermenegildo, and J. Ma\u0142uszy\u0144ski, editors, Analysis and Visualization Tools for Constraint Programming, Springer Verlag, pp. 209\u2013236, LNCS.","DOI":"10.1007\/10722311_9"},{"key":"388088_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3345.001.0001","volume-title":"A Grammatical View of Logic Programming","author":"P. Deransart","year":"1993","unstructured":"Deransart, P. and Ma\u0142uszy\u0144ski, J. 1993. A Grammatical View of Logic Programming. London, England: The MIT Press."},{"key":"388088_CR4","unstructured":"Forg\u00e1cs, I. and Gyim\u00f3thy, T. 1997. An efficient interprocedural slicing method for large programs. In Proceedings of SEKE'97, Madrid, pp. 279\u2013287."},{"key":"388088_CR5","series-title":"LNCS","first-page":"303","volume-title":"Proceedings of the 7th European Software Engineering Conference (ESEC'99)","author":"T. Gyim\u00f3thy","year":"1999","unstructured":"Gyim\u00f3thy, T., Besz\u00e1des, \u00c0., and Forg\u00e1cs, I. 1999. An efficient relevant slicing method for debugging. In Proceedings of the 7th European Software Engineering Conference (ESEC'99), Toulouse, France: Springer Verlag, pp. 303\u2013322, LNCS Vol. 1687."},{"key":"388088_CR6","unstructured":"Gyim\u00f3thy, T. and Paakki, J. 1995. Static slicing of logic programs. In Proceedings of Second International Workshop on Automated and Algorithmic Debugging (AADEBUG'95), France: Saint Malo, pp. 85\u2013105."},{"key":"388088_CR7","unstructured":"Harmath, L., Szil\u00e1gyi, Gy., Gyim\u00f3thy, T., and Csirik, J. 1999. Dynamic slicing of logic programs. In Poceedings of the Program Analysis and Verification, Fenno-Ugric Symposium (FUSST'99), Tallin: Estonia, pp. 101\u2013113."},{"key":"388088_CR8","doi-asserted-by":"crossref","unstructured":"Horwitz, S. and Reps, T. 1992. The use of program dependence graphs in software engineering. In Proceedings of the Fourteenth International Conference on Software Engineering, Australia: Melbourne, pp. 392\u2013411.","DOI":"10.1109\/ICSE.1992.753516"},{"key":"388088_CR9","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S. Horwitz","year":"1990","unstructured":"Horwitz, S., Reps, T., and Binkley, D. 1990. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12:26\u201361.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"388088_CR10","unstructured":"http:\/\/www.sics.se\/sicstus.html"},{"key":"388088_CR11","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J. and Maher, M.J. 1994. Constraint logic programming: A survey. The Journal of Logic Programming, 19\/20:503\u2013582.","journal-title":"The Journal of Logic Programming"},{"key":"388088_CR12","unstructured":"Kamkar, M. and Fritzson, P. 1995. Evaluation of program slicing tools. In Proceedings of the Second International Workshop on Automated and Algorithmic Debugging (AADEBUG'95), France: Saint Malo, pp. 51\u201369."},{"key":"388088_CR13","unstructured":"K\u00f3kai, G., Harmath, L., and Gyim\u00f3thy, T. 1997. Algorithmic debugging and testing of prolog programs. In Proceedings of the Fourteenth International Conference on Logic Programming, Eighth Workshop on Logic Programming Environments (ICLP'97), Belgium: Leuven, pp. 14\u201321."},{"key":"388088_CR14","unstructured":"Korel, B. and Rilling, J. 1997. Application of dynamic slicing in program debugging. In Proceedings of the Third International Workshop on Automatic Debugging (AADEBUG'97), Sweden: Link\u00f6ping, pp. 43\u201359."},{"key":"388088_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints. An Introduction","author":"K. Marriott","year":"1998","unstructured":"Marriott, K. and Stuckey, P.J. 1998. Programming with Constraints. An Introduction. London, England: The MIT Press."},{"key":"388088_CR16","doi-asserted-by":"crossref","unstructured":"Schoening, S. and Ducass\u00e1, M. 1996. A backward slicing algorithm for prolog. In Proceedings of the Third International Static Analysis Symposium (SAS'96), Springer-Verlag, pp. 317\u2013331, LNCS, Vol. 1145.","DOI":"10.1007\/3-540-61739-6_50"},{"key":"388088_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Debugging","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E. 1983. Algorithmic Debugging. London, England: The MIT Press."},{"issue":"1\u20133","key":"388088_CR18","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Somogyi, Z., Henderson, F., Conway, T. 1996. The execution algorithm of mercury, an efficient purely declarative logic programming language. JLP, 29(1\u20133):17\u201364.","journal-title":"JLP"},{"key":"388088_CR19","unstructured":"Szil\u00e1gyi, GY., Gyim\u00f3thy, T., and Maluszy\u0144ski, J. 1998. Slicing of constraint logic programs. Technical Report, Link\u00f6ping University Electronic Press 1998\/020, www.ep.liu.se\/ea\/cis\/1998\/002."},{"key":"388088_CR20","unstructured":"Szil\u00e1gyi, Gy., Gyim\u00f3thy, T., and Ma\u0142uszy\u0144ski, J. 2000. Slicing of constraint logic programs. In Proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG'2000), Germany: Munich, pp. 176\u2013187."},{"key":"388088_CR21","doi-asserted-by":"crossref","unstructured":"Tessier, A. and F\u00e8rrand, G. 2000. Declarative diagnosis in the CLP scheme. In P. Deransart, M. Hermenegildo, and J. Maluszy\u0144ski, editors, Analysis and Visualization Tools for Constraint Programming. Springer Verlag, pp. 151\u2013173, LNCS.","DOI":"10.1007\/10722311_6"},{"issue":"3","key":"388088_CR22","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F. 1995. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121\u2013189.","journal-title":"Journal of Programming Languages"},{"key":"388088_CR23","doi-asserted-by":"crossref","unstructured":"Weiser, M. 1982. Programmers use slices when debugging. Communications of the ACM, pp. 446\u2013452.","DOI":"10.1145\/358557.358577"},{"key":"388088_CR24","unstructured":"Zhao, J., Cheng, J., and Ushijima, K. 1997. Slicing concurrent logic programs. In Proceedings of the Second Fuji International Workshop on Functional and Logic Programming, pp. 143\u2013162."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013280119003.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1013280119003\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013280119003.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:20:45Z","timestamp":1748071245000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1013280119003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["388088"],"URL":"https:\/\/doi.org\/10.1023\/a:1013280119003","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}