Sciweavers

51 search results - page 11 / 11
» Programming with Proofs: Language-Based Approaches to Totall...
Sort
View
ICSE
2007
IEEE-ACM
14 years 5 months ago
Automated Inference of Pointcuts in Aspect-Oriented Refactoring
Software refactoring is the process of reorganizing the internal structure of code while preserving the external behavior. Aspect-Oriented Programming (AOP) provides new modulariz...
Prasanth Anbalagan, Tao Xie