Follow
Julien Cohen
Julien Cohen
maître de conférences, Université de Nantes
Verified email at univ-nantes.fr
Title
Cited by
Cited by
Year
Computations in space and space in computations
JL Giavitto, O Michel, J Cohen, A Spicher
Unconventional Programming Paradigms, 97-97, 2005
652005
Pattern-matching and rewriting rules for group indexed data structures
JL Giavitto, O Michel, J Cohen
ACM SIGPLAN Notices 37 (12), 76-87, 2002
272002
Intégration des collections topologiques et des transformations dans un langage fonctionnel
J Cohen
Université d'Evry-Val d'Essonne, 2004
212004
Invertible Program Restructurings for Continuing Modular Maintenance
J Cohen, R Douence, A Ajouli
Software Maintenance and Reengineering (CSMR), 2012 16th European Conference …, 2012
142012
Typing rule-based transformations over topological collections
J Cohen
Electronic Notes in Theoretical Computer Science 86 (2), 61-76, 2003
122003
Accretive rules in Cayley P systems
JL Giavitto, O Michel, J Cohen
Lecture notes in computer science 2597, 319-338, 2003
122003
MGS: transformer des collections complexes pour la simulation en biologie
O Michel, JL Giavitto, J Cohen
Journées Francophones des Langages Applicatifs (JFLA’02), Anglet (France), 2002
122002
Transformations between Composite and Visitor implementations in Java
A Ajouli, J Cohen, JC Royer
Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO …, 2013
112013
Renaming Global Variables in C Mechanically Proved Correct
J Cohen
Fourth International Workshop on Verification and Program Transformation, 2016
92016
Practical use of static composition of refactoring operations
J Cohen, A Ajouli
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1700-1705, 2013
92013
Refactoring Composite to Visitor and Inverse Transformation in Java
A Ajouli, J Cohen
arXiv preprint arXiv:1112.4271, 2011
72011
Une présentation du langage MGS (tutoriel)
JL Giavitto, O Michel, J Cohen
Technical Report LaMI-84-2002, LaMI, 2002
72002
Typage fort et typage souple des collections topologiques et des transformations
J Cohen
arXiv preprint arXiv:0912.4878, 2009
62009
Interprétation par SK-traduction et syntaxe abstraite d’ordre supérieur
J Cohen
Journées Francophones des Langages Applicatifs (JFLA 2005), 17-34, 2005
62005
Views, Program Transformations, and the Evolutivity Problem in a Functional Language
J Cohen, R Douence
arXiv preprint arXiv:1005.1213, 2010
5*2010
Typage des collections topologiques hétérogènes et des transformations
J Cohen
TECHNIQUE ET SCIENCE INFORMATIQUES 24 (9), 1081, 2005
42005
Filtrage et règles de réécriture sur des structures indexées par des groupes.
J Cohen, O Michel, JL Giavitto
JFLA, 77-92, 2003
42003
A Correct Refactoring Operation to Rename Global Variables in C Programs
J Cohen
https://hal.archives-ouvertes.fr/hal-01248121, 2015
12015
Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs
J Cohen
TSI-Technique et Science Informatiques 26 (9), 1137-1168, 2007
12007
Program Transformation based Views for Modular Maintenance (poster)
A Ajouli, J Cohen, R Douence
Actes des troisièmes journées nationales du Groupement De Recherche CNRS du …, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20