135 search results - page 15 / 27 » Refactoring Tools and Complementary Techniques |
CC
2009
Springer
14 years 1 hour ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
Traditional approaches to semester-long projects in compiler courses force students to implement the early stages of a compiler in depth; since many students fall behind, they hav...
WCRE
2002
IEEE
14 years 8 days ago
2002
IEEE
Software inspection is a known technique for improving software quality. It involves carefully examining the code, the design, and the documentation of software and checking these...
ATVA
2009
Springer
13 years 11 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Code clones are generally considered harmful in software development, and the predominant approach is to try to eliminate them through refactoring. However, recent research has pr...