Search For:

Displaying 1-4 out of 4 total
A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs
Found in: IEEE Transactions on Software Engineering
By Max Schäfer,Andreas Thies,Friedrich Steimann,Frank Tip
Issue Date:November 2012
pp. 1233-1257
Automated tool support for refactoring is now widely available for mainstream programming languages such as Java. However, current refactoring tools are still quite fragile in practice and often fail to preserve program behavior or compilability. This is m...
Refactoring with synthesis
Found in: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications (OOPSLA '13)
By Max Schäfer, Manu Sridharan, Martin Vechev, Veselin Raychev
Issue Date:October 2013
pp. 339-354
Refactoring has become an integral part of modern software development, with wide support in popular integrated development environments (IDEs). Modern IDEs provide a fixed set of supported refactorings, listed in a refactoring menu. But with IDEs supporti...
Dynamic determinacy analysis
Found in: Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation (PLDI '13)
By Frank Tip, Julian Dolby, Manu Sridharan, Max Schäefer
Issue Date:June 2013
pp. 165-174
We present an analysis for identifying determinate variables and expressions that always have the same value at a given program point. This information can be exploited by client analyses and tools to, e.g., identify dead code or specialize uses of dynamic...
Refactoring tools for dynamic languages
Found in: Proceedings of the Fifth Workshop on Refactoring Tools (WRT '12)
By Max Schäfer
Issue Date:June 2012
pp. 59-62
Dynamic languages play an increasingly prominent role in modern software development. They are used in domains as diverse as web programming and scientific computing, for developing simple scripts as well as large applications. Tool-supported refactoring f...