2 search results - page 1 / 1 » Modelchecking Correctness of Refactorings - Some Experiments |
ECOOP
2010
Springer
13 years 10 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
ECOOP
2009
Springer
14 years 2 days ago
2009
Springer
Modern development environments support refactoring by providing atomically behaviour-preserving transformations. While useful, these transformations are limited in three ways: (i)...