{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:34:37Z","timestamp":1725536077083},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642028458"},{"type":"electronic","value":"9783642028465"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02846-5_10","type":"book-chapter","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T10:44:16Z","timestamp":1248086656000},"page":"55-69","source":"Crossref","is-referenced-by-count":6,"title":["Non-discriminating Arguments and Their Uses"],"prefix":"10.1007","author":[{"given":"Henning","family":"Christiansen","sequence":"first","affiliation":[]},{"given":"John P.","family":"Gallagher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Christiansen, H.: Efficient Viterbi for PRISM models with annotations (2009), Website with source code, \n                    \n                      http:\/\/www.ruc.dk\/~henning\/PRISMannotations","key":"10_CR1"},{"key":"10_CR2","first-page":"48","volume-title":"Proceedings of the Fourteenth International Conference on Logic Programming, ICLP 1997","author":"S.K. Debray","year":"1997","unstructured":"Debray, S.K., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.V.: Non-failure analysis for logic programs. In: Naish, L. (ed.) Proceedings of the Fourteenth International Conference on Logic Programming, ICLP 1997, pp. 48\u201362. MIT Press, Cambridge (1997)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-61580-6_7","volume-title":"Partial Evaluation","author":"J.P. Gallagher","year":"1996","unstructured":"Gallagher, J.P., Lafave, L.: Regular approximation of computation paths in logic and functional languages. In: Danvy, O., Gl\u00fcck, R., Thiemann, P. (eds.) Dagstuhl Seminar 1996. LNCS, vol.\u00a01110, pp. 115\u2013136. Springer, Heidelberg (1996)"},{"key":"10_CR4","first-page":"154","volume-title":"Logic Programming, Proceedings of the North American Conference 1989, NACLP 1989","author":"D. Jacobs","year":"1989","unstructured":"Jacobs, D., Langen, A.: Accurate and efficient approximation of variable aliasing in logic programs. In: Lusk, E.L., Overbeek, R.A. (eds.) Logic Programming, Proceedings of the North American Conference 1989, NACLP 1989, pp. 154\u2013165. MIT Press, Cambridge (1989)"},{"doi-asserted-by":"crossref","unstructured":"Jhala, R., Majumdar, R.: Path slicing. In: Sarkar, V., Hall, M.W. (eds.) Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation. PLDI 2005, Chicago, IL, USA, June 12-15, pp. 38\u201347 (2005)","key":"10_CR5","DOI":"10.1145\/1065010.1065016"},{"issue":"1-2","key":"10_CR6","first-page":"179","volume":"69","author":"A. King","year":"2006","unstructured":"King, A., Martin, J.C.: Control generation by program transformation. Fundam. Inform.\u00a069(1-2), 179\u2013218 (2006)","journal-title":"Fundam. Inform."},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/3-540-47018-2_11","volume-title":"Partial Evaluation - Practice and Theory","author":"M. Leuschel","year":"1999","unstructured":"Leuschel, M.: Advanced logic program specialisation. In: Hatcliff, J., Mogensen, T.\u00c6., Thiemann, P. (eds.) DIKU 1998. LNCS, vol.\u00a01706, pp. 271\u2013292. Springer, Heidelberg (1999)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-62718-9_6","volume-title":"Logic Program Synthesis and Transformation","author":"M. Leuschel","year":"1997","unstructured":"Leuschel, M., S\u00f8rensen, M.H.: Redundant argument filtering of logic programs. In: Gallagher, J.P. (ed.) LOPSTR 1996. LNCS, vol.\u00a01207, pp. 83\u2013103. Springer, Heidelberg (1997)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-31987-0_6","volume-title":"Programming Languages and Systems","author":"M. Leuschel","year":"2005","unstructured":"Leuschel, M., Vidal, G.: Forward slicing by conjunctive partial deduction and argument filtering. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 61\u201376. Springer, Heidelberg (2005)"},{"key":"10_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11506676_2","volume-title":"Logic Based Program Synthesis and Transformation","author":"P. L\u00f3pez-Garc\u00eda","year":"2005","unstructured":"L\u00f3pez-Garc\u00eda, P., Bueno, F., Hermenegildo, M.V.: Determinacy analysis for logic programs using mode and type information. In: Etalle, S. (ed.) LOPSTR 2004. LNCS, vol.\u00a03573, pp. 19\u201335. Springer, Heidelberg (2005)"},{"key":"10_CR12","volume-title":"Proc. International Conference on Logic Progrmaming, (ICLP 1995)","author":"B. Martens","year":"1995","unstructured":"Martens, B., Gallagher, J.P.: Ensuring global termination of partial deduction while allowing flexible polyvariance. In: Sterling, L. (ed.) Proc. International Conference on Logic Progrmaming (ICLP 1995), Tokyo, MIT Press, Cambridge (1995)"},{"key":"10_CR13","first-page":"166","volume-title":"Logic Programming, Proceedings of the North American Conference 1989, NACLP 1989","author":"K. Muthukumar","year":"1989","unstructured":"Muthukumar, K., Hermenegildo, M.: Determination of Variable Dependence Information at Compile-Time Through Abstract Interpretation. In: Lusk, E.L., Overbeek, R.A. (eds.) Logic Programming, Proceedings of the North American Conference 1989, NACLP 1989, October 1989, pp. 166\u2013189. MIT Press, Cambridge (1989)"},{"issue":"2","key":"10_CR14","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1109\/5.18626","volume":"77","author":"L.R. Rabiner","year":"1989","unstructured":"Rabiner, L.R.: A tutorial on hidden Markov models and selected applications in speech recognition. Proceedings of the IEEE\u00a077(2), 257\u2013286 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"9","key":"10_CR15","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/903893.903895","volume":"46","author":"M. Ronsse","year":"2003","unstructured":"Ronsse, M., Bosschere, K.D., Christiaens, M., de Kergommeaux, J.C., Kranzlm\u00fcller, D.: Record\/replay for nondeterministic program executions. Commun. ACM\u00a046(9), 62\u201367 (2003)","journal-title":"Commun. ACM"},{"key":"10_CR16","first-page":"682","volume-title":"Logic Programming, Proceedings of the 1994 International Symposium","author":"K.F. Sagonas","year":"1994","unstructured":"Sagonas, K.F., Warren, D.S.: A portable compiler for integrating HiLog into Prolog systems. In: Bruynooghe, M. (ed.) Logic Programming, Proceedings of the 1994 International Symposium, p. 682. MIT Press, Cambridge (1994)"},{"unstructured":"Sato, T.: PRISM, Programming in Statistical Modeling (PRISM web site) (checked 2009), \n                    \n                      http:\/\/mi.cs.titech.ac.jp\/prism\/","key":"10_CR17"},{"key":"10_CR18","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.912","volume":"15","author":"T. Sato","year":"2001","unstructured":"Sato, T., Kameya, Y.: Parameter learning of logic programs for symbolic-statistical modeling. Journal of Artificial Intelligence Research (JAIR)\u00a015, 391\u2013454 (2001)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-16442-1_25","volume-title":"ESOP 86","author":"H. S\u00f8ndergaard","year":"1986","unstructured":"S\u00f8ndergaard, H.: An application of abstract interpretation of logic programs: Occur check reduction. In: Robinet, B., Wilhelm, R. (eds.) ESOP 1986. LNCS, vol.\u00a0213, pp. 327\u2013338. Springer, Heidelberg (1986)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/3-540-52753-2_52","volume-title":"CSL \u201989","author":"R.F. St\u00e4rk","year":"1990","unstructured":"St\u00e4rk, R.F.: A direct proof for the completeness of SLD-resolution. In: B\u00f6rger, E., B\u00fcning, H.K., Richter, M.M. (eds.) CSL 1989. LNCS, vol.\u00a0440, pp. 382\u2013383. Springer, Heidelberg (1990)"},{"issue":"2","key":"10_CR21","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R.E. Tarjan","year":"1972","unstructured":"Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM Journal of Computing\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM Journal of Computing"},{"unstructured":"Tip, F.: A survey of program slicing techniques. J. Prog. Lang.\u00a03(3) (1995)","key":"10_CR22"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11506676_1","volume-title":"Logic Based Program Synthesis and Transformation","author":"W. Vanhoof","year":"2005","unstructured":"Vanhoof, W.: Searching semantically equivalent code fragments in logic programs. In: Etalle, S. (ed.) LOPSTR 2004. LNCS, vol.\u00a03573, pp. 1\u201318. Springer, Heidelberg (2005)"},{"issue":"4","key":"10_CR24","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Trans. Software Eng.\u00a010(4), 352\u2013357 (1984)","journal-title":"IEEE Trans. Software Eng."},{"unstructured":"Zhou, N.-F.: B-Prolog web site (1994\u20132009), \n                    \n                      http:\/\/www.probp.com\/","key":"10_CR25"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02846-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T06:25:32Z","timestamp":1552112732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02846-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642028458","9783642028465"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02846-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}