{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:14:26Z","timestamp":1725689666988},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642310560"},{"type":"electronic","value":"9783642310577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31057-7_24","type":"book-chapter","created":{"date-parts":[[2012,6,28]],"date-time":"2012-06-28T11:17:41Z","timestamp":1340882261000},"page":"535-559","source":"Crossref","is-referenced-by-count":15,"title":["Constraint-Based Refactoring with Foresight"],"prefix":"10.1007","author":[{"given":"Friedrich","family":"Steimann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"von Pilgrim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Balaban, I., Tip, F., Fuhrer, R.: Refactoring support for class library migration. In: Proc. of OOPSLA, pp. 265\u2013279 (2005)","DOI":"10.1145\/1094811.1094832"},{"key":"24_CR2","unstructured":"CHOCO Team choco: an Open Source Java Constraint Programming Library, Research Report 10-02-INFO, Ecole des Mines de Nantes (2010)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Donovan, A., Kiezun, A., Tschantz, M.S., Ernst, M.D.: Converting Java programs to use generic libraries. In: Proc. of OOPSLA, pp. 15\u201334 (2004)","DOI":"10.1145\/1028976.1028979"},{"key":"24_CR4","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley (1999)"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/11531142_4","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"R. Fuhrer","year":"2005","unstructured":"Fuhrer, R., Tip, F., Kie\u017cun, A., Dolby, J., Keller, M.: Efficiently Refactoring Java Applications to Use Generic Libraries. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 71\u201396. Springer, Heidelberg (2005)"},{"key":"24_CR6","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, http:\/\/java.sun.com\/docs\/books\/jls\/"},{"key":"24_CR7","unstructured":"Gottlob, G., Greco, G., Mancini, T.: Conditional constraint satisfaction: logical foundations and complexity. In: Proc. of IJCAI, pp. 88\u201393 (2007)"},{"key":"24_CR8","unstructured":"Griswold, W.G.: Program Restructuring as an Aid to Software Maintenance. PhD Dissertation, University of Washington (1992)"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Kegel, H., Steimann, F.: Systematically refactoring inheritance to delegation in Java. In: Proc. of ICSE, pp. 431\u2013440 (2008)","DOI":"10.1145\/1368088.1368147"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Kiezun, A., Ernst, M.D., Tip, F., Fuhrer, R.M.: Refactoring for parameterizing Java classes. In: Proc. of ICSE, pp. 437\u2013446 (2007)","DOI":"10.1109\/ICSE.2007.70"},{"key":"24_CR11","unstructured":"Mittal, S., Falkenhainer, B.: Dynamic constraint satisfaction problems. In: Proc. of AAAI, pp. 25\u201332 (1990)"},{"key":"24_CR12","unstructured":"Palsberg, J., Schwartzbach, M.I.: Object-Oriented Type Systems. Wiley (1994)"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, M., Ekman, T., de Moor, O.: Sound and extensible renaming for Java. In: Proc. of OOPSLA, pp. 277\u2013294 (2008)","DOI":"10.1145\/1449764.1449787"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-642-14107-2_11","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"M. Sch\u00e4fer","year":"2010","unstructured":"Sch\u00e4fer, M., Dolby, J., Sridharan, M., Torlak, E., Tip, F.: Correct Refactoring of Concurrent Java Code. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 225\u2013249. Springer, Heidelberg (2010)"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, M., de Moor, O.: Specifying and implementing refactorings. In: Proc. of OOPSLA, pp. 286\u2013301 (2010)","DOI":"10.1145\/1869459.1869485"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, M., Thies, A., Steimann, F., Tip, F.: A comprehensive approach to naming and accessibility in refactoring Java programs. IEEE Trans. Soft. Eng. (2012)","DOI":"10.1109\/TSE.2012.13"},{"key":"24_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-642-03013-0_19","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"F. Steimann","year":"2009","unstructured":"Steimann, F., Thies, A.: From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 419\u2013443. Springer, Heidelberg (2009)"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-22655-7_13","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"F. Steimann","year":"2011","unstructured":"Steimann, F., Kollee, C., von Pilgrim, J.: A Refactoring Constraint Language and Its Application to Eiffel. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 255\u2013280. Springer, Heidelberg (2011)"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Tip, F., Kiezun, A., B\u00e4umer, D.: Refactoring for generalization using type constraints. In: Proc. of OOPSLA, pp. 13\u201326 (2003)","DOI":"10.1145\/949305.949308"},{"issue":"3","key":"24_CR20","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/1961204.1961205","volume":"33","author":"F. Tip","year":"2011","unstructured":"Tip, F., Fuhrer, R.M., Kiezun, A., Ernst, M.D., Balaban, I., De Sutter, B.: Refactoring using type constraints. ACM Trans. Program. Lang. Syst.\u00a033(3), 9 (2011)","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","ECOOP 2012 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31057-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T10:42:22Z","timestamp":1561891342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31057-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642310560","9783642310577"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31057-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}