{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T10:08:07Z","timestamp":1749118087408},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540880585"},{"type":"electronic","value":"9783540880592"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-88059-2_7","type":"book-chapter","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T03:03:29Z","timestamp":1222398209000},"page":"250-285","source":"Crossref","is-referenced-by-count":2,"title":["Use Cases for Refactoring in Erlang"],"prefix":"10.1007","author":[{"given":"Tam\u00e1s","family":"Kozsik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Cs\u00f6rnyei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zolt\u00e1n","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland","family":"Kir\u00e1ly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00f3bert","family":"Kitlei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L\u00e1szl\u00f3","family":"L\u00f6vei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tam\u00e1s","family":"Nagy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Melinda","family":"T\u00f3th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anik\u00f3","family":"V\u00edg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Virding, R., Williams, M., Wikstrom, C.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"7_CR2","unstructured":"Barklund, J., Virding, R.: Erlang 4.7.3 Reference Manual (1999), \n                  \n                    http:\/\/www.erlang.org\/download\/erl_spec47.ps.gz"},{"key":"7_CR3","unstructured":"Distel: Distributed Emacs Lisp, \n                  \n                    http:\/\/fresh.homeunix.net\/~luke\/distel\/"},{"key":"7_CR4","unstructured":"Divi\u00e1nszky, P., Szab\u00f3-Nacsa, R., Horv\u00e1th, Z.: Refactoring via database representation. In: The Sixth International Conference on Applied Informatics (ICAI 2004), Eger, Hungary, vol.\u00a01, pp. 129\u2013135 (2004)"},{"key":"7_CR5","unstructured":"Eclipse - an open development platform, \n                  \n                    http:\/\/www.eclipse.org\/"},{"key":"7_CR6","unstructured":"GNU Emacs homepage, \n                  \n                    http:\/\/www.gnu.org\/software\/emacs\/"},{"key":"7_CR7","unstructured":"Ericsson, A.B.: Erlang Reference Manual, Version 5.6 (2007), \n                  \n                    http:\/\/www.erlang.org\/download\/"},{"key":"7_CR8","unstructured":"Fowler, M.: Refactoring Home Page, \n                  \n                    http:\/\/www.refactoring.com\/"},{"key":"7_CR9","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. Addison-Wesley, Reading (1999)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1159789.1159793","volume-title":"Proceedings of the 2006 ACM SIGPLAN workshop on Erlang","author":"L.A. Fredlund","year":"2006","unstructured":"Fredlund, L.A., Earle, C.B.: Model checking Erlang programs: The functional approach. In: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, Portland, Oregon, USA, pp. 11\u201319. ACM Press, New York (2006)"},{"key":"7_CR11","unstructured":"Horv\u00e1th, Z., et al.: Refactoring Erlang Programs, \n                  \n                    http:\/\/plc.inf.elte.hu\/erlang\/"},{"key":"7_CR12","unstructured":"Hudak, P., Peterson, J., Fasel, J.: A Gentle Introduction To Haskell, version 1.4, \n                  \n                    http:\/\/www.cs.sfu.ca\/CC\/SW\/Haskell\/hugs\/tutorial-1.4-html\/index.html"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/1292520.1292523","volume-title":"Proceedings of the 2007 ACM SIGPLAN Erlang Workshop","author":"M. Jim\u00e9nez","year":"2007","unstructured":"Jim\u00e9nez, M., Lindahl, T., Sagonas, K.: A language for specifying type contracts in Erlang and its interaction with success typings. In: Proceedings of the 2007 ACM SIGPLAN Erlang Workshop, pp. 11\u201317. ACM Press, New York (2007)"},{"key":"7_CR14","unstructured":"Li, H., Thompson, S., L\u00f6vei, L., Horv\u00e1th, Z., Kozsik, T., V\u00edg, A., Nagy, T.: Refactoring Erlang programs. In: The Proceedings of 12th International Erlang\/OTP User Conference, Stockholm, Sweden (November 2006)"},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.entcs.2005.02.053","volume":"141","author":"H. Li","year":"2005","unstructured":"Li, H., Thompson, S., Reinke, C.: The Haskell Refactorer, HaRe, and its API. Electronic Notes in Theoretical Computer Science\u00a0141(4), 29\u201334 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/1292520.1292524","volume-title":"Proceedings of the 2007 ACM SIGPLAN Erlang Workshop","author":"L. L\u00f6vei","year":"2007","unstructured":"L\u00f6vei, L., Horv\u00e1th, Z., Kozsik, T., Kir\u00e1ly, R.: Introducing records by refactoring. In: Proceedings of the 2007 ACM SIGPLAN Erlang Workshop, pp. 18\u201328. ACM Press, New York (2007)"},{"key":"7_CR17","unstructured":"L\u00f6vei, L., Horv\u00e1th, Z., Kozsik, T., Kir\u00e1ly, R., Kitlei, R.: Static rules for variable scoping in Erlang. In: Proceedings of the 7th International Conference on Applied Informatics, vol.\u00a02, pp. 137\u2013145 (2008)"},{"issue":"2","key":"7_CR18","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T. Mens","year":"2004","unstructured":"Mens, T., Tourwe, T.: A survey of software refactoring. IEEE Transactions on Software Engineering\u00a030(2), 126\u2013139 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR19","unstructured":"MySQL AB homepage, \n                  \n                    http:\/\/www.mysql.com\/"},{"key":"7_CR20","unstructured":"Opdyke, W.F.: Refactoring Object-oriented frameworks. PhD thesis, University of Illinois at Urbana-Champaign, Urbana, Illinois, USA (1992)"},{"issue":"4","key":"7_CR21","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":"7_CR22","unstructured":"Roberts, D.B.: Practical analysis for refactoring. PhD thesis, University of Illinois at Urbana-Champaign, Urbana, Illinois, USA (1999)"},{"key":"7_CR23","unstructured":"Szab\u00f3-Nacsa, R., Divi\u00e1nszky, P., Horv\u00e1th, Z.: Prototype environment for refactoring Clean programs. In: The Fourth Conference of PhD Students in Computer Science (CSCS 2004), Volume of extended abstracts, Szeged, Hungary, July 2004, p. 113 (2004), \n                  \n                    http:\/\/aszt.inf.elte.hu\/~fun_ver\/"},{"key":"7_CR24","unstructured":"Trapexit. String Eval, \n                  \n                    http:\/\/wiki.trapexit.org\/index.php\/String_Eval"}],"container-title":["Lecture Notes in Computer Science","Central European Functional Programming School"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88059-2_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:55:23Z","timestamp":1619524523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88059-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540880585","9783540880592"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88059-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}