Sound and extensible renaming for java

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2008, Pages 277-294

  Schäfer, Max ^a   Ekman, Torbjörn ^a   De Moor, Oege ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Extensible compilers; Name analysis; Refactoring; Renaming

Indexed keywords

ASPECT-J; DESCRIPTIVE NAMES; DEVELOPMENT ENVIRONMENTS; EXTENSIBLE COMPILERS; INDUSTRIAL STRENGTHS; JAVA COMPILERS; LANGUAGE FEATURES; LINES OF CODES; LOOKUPS; MODULAR EXTENSIONS; NAME ANALYSIS; REFACTORING; REFACTORING ENGINES; REFACTORING TOOLS; RENAMING; TOOL SUPPORTS;

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; LINGUISTICS; PROGRAM COMPILERS; QUERY LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 63549090170     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449764.1449787     Document Type: Conference Paper

References (33)

1. Johan Åkesson, Torbjörn Ekman, and Görel Hedin. Development of a modelica compiler using jast- add. electronic notes in theoretical computer science, 203(2):117-131, 2008.
2. Pavel avgustinov, torbjörn ekman, and julian tibble. modularity first: a case for mixing aop and attribute grammars. in aspect-oriented software development (aosd). acm press, 2008.
3. aspectj development tools 1.5.1. http://www. eclipse.org/ajdt.
4. john brant and don roberts. the smalltalk refactoring browser. http://st-www.cs.uiuc. edu/users/brant/refactory/, 1999.
5. ittai balaban, frank tip, and robert fuhrer. refactoring support for class library migration. in proceedings of the 20th acm conference on object- oriented programming, systems, languages, and applications, pages 265-279, 2005.
6. leonardo cole and paulo borba. deriving refactorings for aspectj. in aspect-oriented software development (aosd). acm press, 2005.
7. márcio lopes cornélio. refactorings as formal refinements. ph.d. thesis, universidade federal de pernambuco, 2004.
8. brett daniel, danny dig, kely garcia, and darko marinov. automated testing of refactoring engines. in proceedings of esec/fse'07. acm press, 2007.
9. alan donovan, adam kiezun, matthew s. tschantz, and michael d. ernst. converting java programs to use generic libraries. in object-oriented programming, systems and languages, pages 15- 34, 2004.
10. eclipse 3.3.1. http://www.eclipse.org, 2007.
11. torbjörn ekman, ran ettinger, max schäfer, and mathieu verbaere. refactoring bugs in eclipse, idea and visual studio, 2008. http://progtools.comlab.ox.ac.uk/refactoring/bugreports.
12. torbjörn ekman and görel hedin. modular name analysis for java using jastadd. in generative and transformational techniques in software engineering, international summer school, gttse 2005, volume 4143 of lncs. springer, 2006.
13. torbjörn ekman and görel hedin. the jastadd extensible java compiler. in richard p. gabriel, editor, acm conference on object-oriented programming, systems and languages (oopsla). acm press, 2007.
14. ran ettinger. refactoring via program slicing and sliding. d.phil. thesis, computing laboratory, oxford, uk, 2007.
15. martin fowler. refactoring: improving the design of existing code. addison wesley, 2000.
16. james gosling, bill joy, guy steele, and gilad bracha. the java language specification. prentice hall, 3rd edition, 2005.
17. alejandra garrido and josé meseguer. formal specification and verification of java refactorings. in proceedings of the sixth ieee international workshop on source code analysis and manipulation (scam), 2006.
18. stefan hanenberg, christian oberschulte, and rainer unland. refactoring of aspect-oriented software. in net.objectdays, 2003.
19. jbuilder 2007. http://www.codegear.com/products/jbuilder, 2007.
20. intellij idea 7.0.1. http://www.jetbrains. com, 2007.
21. tom mens, serge demeyer, and dirk janssens. formalising behaviour preserving program transformations. in graph transformation, volume 2505 of lecture notes in computer science, pages 286-301, 2002.
22. netbeans 6.0. http://www.netbeans.com, 2007.
23. william f. opdyke and ralph e. johnson. refactoring: an aid in designing application frameworks and evolving object-oriented systems. in proceedings of symposium on object-oriented programming emphasizing practical applications (sooppa), september 1990.
24. william f. opdyke. refactoring object-oriented frameworks. phd thesis, university of illinois at urbana-champaign, 1992.
25. donald f. roberts. practical analysis for refactoring. phd thesis, university of illinois at urbana- champaign, 1999.
26. semmle. semmlecode. http://semmle.com, 2008.
27. nik sultana and simon thompson. mechanical verification of refactorings. in workshop on partial evaluation and program manipulation. acm sigplan, january 2008.
28. the aspectj team. the aspectj programming guide.
29. frank tip. refactoring for generalization using type constraints. in proceedings of the 18th acm conference on object-oriented programming, systems, languages, and applications, pages 13-26, 2003.
30. daniel von dincklage and amer diwan. converting java classes to use generics. in proceedings of the 19th acm conference on object-oriented programming, systems, languages, and applications, pages 1-14, 2004.
31. mathieu verbaere, ran ettinger, and oege de moor. jungl: a scripting language for refactoring. in international conference on software engineering (icse'06), 2006.
32. w3c. jigsaw. http://www.w3.org/jigsaw/, 2006.
33. david wheeler. sloccount. http://www. dwheeler. com/sloccount/, 2006.