{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:38Z","timestamp":1725565418431},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226710"},{"type":"electronic","value":"9783540277750"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27775-0_5","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T16:29:36Z","timestamp":1284568176000},"page":"58-72","source":"Crossref","is-referenced-by-count":3,"title":["Improving Prolog Programs: Refactoring for Prolog"],"prefix":"10.1007","author":[{"given":"Tom","family":"Schrijvers","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Serebrenik","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"5_CR1","first-page":"10","volume":"4","author":"The ->; operator","year":"1991","unstructured":"The -> operator. Association for Logic Programming Newsletter\u00a04(2), 10\u201312 (1991)","journal-title":"Association for Logic Programming Newsletter"},{"key":"5_CR2","unstructured":"Information technology\u2013Programming languages\u2013Prolog\u2013Part 1: General core. ISO\/IEC, ISO\/IEC 13211-1:1995 (1995)"},{"key":"5_CR3","volume-title":"Logic Programming: Systematic program development","author":"Y. Deville","year":"1990","unstructured":"Deville, Y.: Logic Programming: Systematic program development. Addison-Wesley, Reading (1990)"},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1145\/503502.503504","volume":"23","author":"S. Etalle","year":"2001","unstructured":"Etalle, S., Gabbrielli, M., Meo, M.C.: Transformations of CCP programs. ACM Transactions on Programming Languages and Systems\u00a023(3), 304\u2013395 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR5","unstructured":"Fowler, M.: Refactorings in alphabetical order (2003), Available at \n                      \n                        http:\/\/www.refactoring.com\/catalog\/"},{"key":"5_CR6","series-title":"Object Technology Series","volume-title":"Refactoring: improving the design of existing code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: improving the design of existing code. Object Technology Series. Addison-Wesley, Reading (1999)"},{"key":"5_CR7","unstructured":"Intelligent Systems Laboratory. SICStus Prolog User\u2019s Manual. PO Box 1263, SE-164 29 Kista, Sweden (October 2003)"},{"key":"5_CR8","unstructured":"Masters, I.T.: MasterProLog Programming Environment (2000), \n                      \n                        http:\/\/www.itmasters.com"},{"key":"5_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/3-540-44566-8_4","volume-title":"User Modeling 2001","author":"N. Jacobs","year":"2001","unstructured":"Jacobs, N., Blockeel, H.: The learning shell: Automated macro construction. In: Bauer, M., Gmytrasiewicz, P.J., Vassileva, J. (eds.) UM 2001. LNCS (LNAI), vol.\u00a02109, pp. 34\u201343. Springer, Heidelberg (2001)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"5_CR11","doi-asserted-by":"crossref","unstructured":"Li, H., Reinke, C., Thompson, S.: Tool support for refactoring functional programs. In: Jeuring, J. (ed.) Haskell Workshop 2003, Association for Computing Machinery (2003)","DOI":"10.1145\/871895.871899"},{"key":"5_CR12","volume-title":"The Craft of Prolog","author":"R.A. O\u2019Keefe","year":"1994","unstructured":"O\u2019Keefe, R.A.: The Craft of Prolog. MIT Press, Cambridge (1994)"},{"key":"5_CR13","unstructured":"Opdyke, W.F.: Refactoring object-oriented frameworks. PhD thesis, University of Illinois at Urbana-Champaign (1992)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0743-1066(94)90028-0","volume":"19\/20","author":"A. Pettorossi","year":"1994","unstructured":"Pettorossi, A., Proietti, M.: Transformation of logic programs: Foundations and techniques. Journal of Logic Programming\u00a019\/20, 261\u2013320 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"5_CR15","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1002\/(SICI)1096-9942(1997)3:4<253::AID-TAPO3>3.0.CO;2-T","volume":"3","author":"D. Roberts","year":"1997","unstructured":"Roberts, D., Brant, J., Johnson, R.: A refactoring tool for Smalltalk. Theory and Practice of Object Systems (TAPOS)\u00a03(4), 253\u2013263 (1997)","journal-title":"Theory and Practice of Object Systems (TAPOS)"},{"key":"5_CR16","unstructured":"Schrijvers, T., Serebrenik, A., Demoen, B.: Refactoring Prolog programs. Technical Report CW373, Department of Computerscience, K.U.Leuven (December 2003)"},{"key":"5_CR17","unstructured":"Seipel, D., Hopfner, M., Heumesser, B.: Analysing and visualizing Prolog programs based on XML representations. In: Mesnard, F., Serebrenik, A. (eds.) Proceedings of the 13th International Workshop on Logic Programming Environments, pp. 31\u201345 (2003); Published as technical report CW371 of Katholieke Universiteit Leuven."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Serebrenik, A., Demoen, B.: Refactoring logic programs. Poster. In: Ninetheenth International Conference on Logic Programming, Mumbay, India, December 9-13 (2003)","DOI":"10.1007\/978-3-540-24599-5_46"},{"key":"5_CR19","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: Mercury: an efficient purely declarative logic programming language. In: Australian Computer Science Conference"},{"key":"5_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1225","DOI":"10.1007\/3-540-44957-4_82","volume-title":"Computational Logic - CL 2000","author":"P. Tarau","year":"2000","unstructured":"Tarau, P.: Fluents: A refactoring of Prolog for uniform reflection an interoperation with external objects. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 1225\u20131239. Springer, Heidelberg (2000)"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1109\/CSMR.2003.1192416","volume-title":"7th European Conference on Software Maintenance and Reengineering, Proceedings","author":"T. Tourw\u00e9","year":"2003","unstructured":"Tourw\u00e9, T., Mens, T.: Identifying refactoring opportunities using logic meta programming. In: 7th European Conference on Software Maintenance and Reengineering, Proceedings, pp. 91\u2013100. IEEE Computer Society, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27775-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:32:50Z","timestamp":1558290770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27775-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226710","9783540277750"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27775-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}