Julien Cohen
Julien Cohen
maître de conférences, Université de Nantes
Adresse e-mail validée de univ-nantes.fr
Titre
Citée par
Citée par
Année
Computations in space and space in computations
JL Giavitto, O Michel, J Cohen, A Spicher
Unconventional Programming Paradigms, 97-97, 2005
592005
Pattern-matching and rewriting rules for group indexed data structures
JL Giavitto, O Michel, J Cohen
ACM SIGPLAN Notices 37 (12), 76-87, 2002
282002
Intégration des collections topologiques et des transformations dans un langage fonctionnel
J Cohen
Université d'Evry-Val d'Essonne, 2004
232004
Invertible Program Restructurings for Continuing Modular Maintenance
J Cohen, R Douence, A Ajouli
Software Maintenance and Reengineering (CSMR), 2012 16th European Conference …, 2012
122012
Typing rule-based transformations over topological collections
J Cohen
Electronic Notes in Theoretical Computer Science 86 (2), 61-76, 2003
112003
Accretive rules in Cayley P systems
JL Giavitto, O Michel, J Cohen
Lecture notes in computer science 2597, 319-338, 2003
112003
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
112002
Transformations between Composite and Visitor implementations in Java
A Ajouli, J Cohen, JC Royer
Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO …, 2013
92013
Renaming Global Variables in C Mechanically Proved Correct
J Cohen
Fourth International Workshop on Verification and Program Transformation, 2016
72016
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
72013
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
Une présentation du langage MGS (tutoriel)
JL Giavitto, O Michel, J Cohen
Technical Report LaMI-84-2002, LaMI, 2002
62002
Refactoring Composite to Visitor and Inverse Transformation in Java
A Ajouli, J Cohen
arXiv preprint arXiv:1112.4271, 2011
52011
Typage fort et typage souple des collections topologiques et des transformations
J Cohen
arXiv preprint arXiv:0912.4878, 2009
52009
Views, Program Transformations, and the Evolutivity Problem in a Functional Language
J Cohen, R Douence
arXiv preprint arXiv:1005.1213, 2010
4*2010
Typage des collections topologiques hétérogènes et des transformations
J Cohen
TECHNIQUE ET SCIENCE INFORMATIQUES 24 (9), 1081, 2005
32005
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
32003
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
22007
A Correct Refactoring Operation to Rename Global Variables in C Programs
J Cohen
https://hal.archives-ouvertes.fr/hal-01248121, 2015
12015
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20