{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:47:13Z","timestamp":1748072833508,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617396"},{"type":"electronic","value":"9783540706748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61739-6_50","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:18:54Z","timestamp":1330294734000},"page":"317-331","source":"Crossref","is-referenced-by-count":11,"title":["A backward slicing algorithm for Prolog"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Schoenig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mireille","family":"Ducass\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"22_CR1","first-page":"165","volume-title":"volume 724 of LNCS","author":"J. Boye","year":"1993","unstructured":"J. Boye, J. Paakki, and J. Ma\u0142uszy\u0144ski. Synthesis of directionality information for functional logic programs. In Third International Workshop WSA'93, Proceeding Static Analysis, Padova, Italy, volume 724 of LNCS, pages 165\u2013177. Springer-Verlag, September 1993."},{"issue":"3","key":"22_CR2","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1145\/65979.65983","volume":"11","author":"S. K. Debray","year":"1989","unstructured":"S. K. Debray. Static inference of modes and data dependencies in logic programs. ACM Transactions on Programming Languages and Systems, 11(3):418\u2013450, July 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"P. Deransart and J. Ma\u0142uszy\u0144ski. A grammatical view of logic programming. MIT Press, 1993. ISBN 0-262-04140-5.","DOI":"10.7551\/mitpress\/3345.001.0001"},{"key":"22_CR4","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/0743-1066(94)90030-2","volume":"19\/20","author":"M. Ducass\u00e9","year":"1994","unstructured":"M. Ducass\u00e9 and J. Noy\u00e9. Logic programming environments: Dynamic program analysis and debugging. The Journal of Logic Programming, 19\/20:351\u2013384, May\/July 1994.","journal-title":"The Journal of Logic Programming"},{"key":"22_CR5","volume-title":"PhD thesis","author":"M. Ducass\u00e9","year":"1992","unstructured":"M. Ducass\u00e9. An extendable trace analyser to support automated debugging. PhD thesis, University of Rennes I, France, June 1992. European Doctorate."},{"key":"22_CR6","unstructured":"M. Ducass\u00e9, editor. Second international workshop on automated and algorithmic debugging, http:\/\/www.irisa.fr\/manifestations\/AADEBUG95\/, May 1995."},{"key":"22_CR7","unstructured":"T. Gyim\u00f3thy and J. Paakki. Static slicing of logic programs. In Ducass\u00e9 [Du95]."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"R. Gupta and M.-L. Soffa. Hybrid slicing: an approach for refining static slices using dynamic information. In 3rd ACM Symposium on Foundation of Software Engineering. University of Pittsburgh, ACM, October 10\u201313 1995.","DOI":"10.1145\/222124.222137"},{"key":"22_CR9","unstructured":"T. Hoffner, M. Kamkar, and P. Fritzson. Evaluation of program slicing tools. In Ducass\u00e9 [Du95]."},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"S. Horwitz, J. Prins, and T. Reps. On the adequacy of program dependence graphs for representing programs. In Conference record of the 15th ACM Symposium on Principles of Programming Languages (POPL'88), pages 146\u2013157, San Diego, CA USA, 1988.","DOI":"10.1145\/73560.73573"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"S. Horwitz and T. Reps. The use of program dependence graphs in software engineering. In 14th International Conference on Software Engineering (Melbourne Australia), pages 392\u2013411, may 1992.","DOI":"10.1145\/143062.143156"},{"issue":"1","key":"22_CR12","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S. Horwitz","year":"1990","unstructured":"S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, TOPLAS, 12(1):26\u201360, [1] 1990.","journal-title":"ACM Transactions on Programming Languages and Systems, TOPLAS"},{"key":"22_CR13","volume-title":"volume 749 of LNCS","author":"B. Korel","year":"1993","unstructured":"B. Korel. Identifying faulty modifications in software maintenance. In P. A. Fritzson, editor, First International Workshop On Automated Algorithmic Debugging, volume 749 of LNCS, Linkoeping, Sweden, May 1993. Springer-Verlag."},{"issue":"12","key":"22_CR14","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TSE.1987.233147","volume":"SE-13","author":"H. K. N. Leung","year":"1987","unstructured":"H. K. N. Leung and H. K. Reghbati. Comments on program slicing. IEEE Transaction on Software Engineering SE-13(12):1370\u20131371, December 1987.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"22_CR15","unstructured":"J. R. Lyle. Evaluating Variations on Program Slicing for Debugging. PhD thesis, University of Maryland, 1984."},{"key":"22_CR16","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Y. Shapiro","year":"1983","unstructured":"E. Y. Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, MA, 1983. ISBN 0-262-19218-7.","ISBN":"https:\/\/id.crossref.org\/isbn\/0262192187"},{"key":"22_CR17","unstructured":"L. Sterling and E. Shapiro. The art of Prolog, 2nd edition. Advanced Programming Techniques. The MIT Press, 1994."},{"issue":"3","key":"22_CR18","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121\u2013189, September 1995.","journal-title":"Journal of Programming Languages"},{"key":"22_CR19","volume-title":"Technical Report 27","author":"W. W. Vasconcelos","year":"1994","unstructured":"W. W. Vasconcelos. A method for extracting Prolog programming techniques. Technical Report 27, Dept. Artificial Intelligence, University of Edinburgh, 80 South Bridge, Edinburgh EH1 1HN, Scotland, Great Britain, 1994."},{"issue":"7","key":"22_CR20","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"M. Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446\u2013452, July 1982.","journal-title":"Communications of the ACM"},{"issue":"4","key":"22_CR21","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"SE-10","author":"M. Weiser","year":"1984","unstructured":"M. Weiser. Program slicing. IEEE Transactions on Software Engineering, SE-10(4):352\u2013357, July 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR22","unstructured":"J. Zhao, J. Cheng, and K Ushijima. Literal dependence net and its use in concurrent logic programming environment. In Workshop on Parallel Logic Programming, pages 127\u2013141, December 1994."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61739-6_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:25:04Z","timestamp":1742599504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61739-6_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617396","9783540706748"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61739-6_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}