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 cs.SEShow all

5 papers · 1 filter

cs.SE2013

Transformations between Composite and Visitor implementations in Java

Akram Ajouli, Julien Cohen, Jean-Claude Royer

Basic automated refactoring operations can be chained to perform complex structure transformations. This is useful for recovering the initial architecture of a source code which ha…

cs.SE2012★ 7 cited

Invertible Program Restructurings for Continuing Modular Maintenance

Julien Cohen, Rémi Douence, Akram Ajouli

When one chooses a main axis of structural decompostion for a software, such as function- or data-oriented decompositions, the other axes become secondary, which can be harmful whe…

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…

cs.SE2010

Variable elimination for building interpreters

Julien Cohen, Jean-Louis Giavitto, Olivier Michel

In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (th…

cs.SE2010★ 2 cited

Views, Program Transformations, and the Evolutivity Problem in a Functional Language

Julien Cohen, Rémi Douence

We report on an experience to support multiple views of programs to solve the tyranny of the dominant decomposition in a functional setting. We consider two possible architectures…