Seguir
Julien Cohen
Julien Cohen
maître de conférences, Université de Nantes
Dirección de correo verificada de univ-nantes.fr
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20