activity
20092016
most citedRenaming Global Variables in C Mechanically Proved Correct

36 citations · 56 across the 8 of their papers we have counts for

collaborators
Showing 2011Show all

1 paper · 1 filter

cs.SE2011★ 6 cited

Refactoring Composite to Visitor and Inverse Transformation in Java

Akram Ajouli, Julien Cohen

We describe how to use refactoring tools to transform a Java program conforming to the Composite design pattern into a program conforming to the Visitor design pattern with the sam…