Publications de
Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé
Static safety analysis for non-uniform service availability in Actors
Dans : Formal Methods for Open Object-based Distributed Systems, Florence, 15/02/99-18/02/99, Kluwer Academic Publisher, Pays-Bas, p. 371-386, février 1999.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
From set based to multiset based analysis: A practical approach
Dans : Workshop on set constraints and set based analysis, Pise, 28/10/98, Pise Univ., p. 1-10, octobre 1998.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Analyses Statiques de langages d’Acteurs
Dans : Journées du GDR Programmation, Rennes, 12/11/97-14/11/97.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Static analysis of behavior changes in actors languages
Dans : Proceedings of the 2nd France Japan Workshop on Object Based Parallel and Distributed Computing, –, -, octobre 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Analyse de linéarité par typage dans un calcul d’acteurs
Dans : Actes des Journées Francophones des Langages Applicatifs, –, -, janvier 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
A set-constraint-based analysis of actors
Dans : Proceedings of the 1997 IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, –, Chapman and Hall, p. 107-122, juillet 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
CAP: An Actor dedicated process calculus
Dans : ECOOP’96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, -, juillet 1996.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni
Un calcul d’Acteurs primitifs (CAP)
Dans : Actes des Journées Francophones des Langages Applicatifs, –, -, janvier 1996.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
An actor dedicated process calculus
Dans : ECOOP’96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, –, -, mai 1996.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni
Un calcul d’acteurs primitifs
Dans : Journées du G.D.R. Programmation, Grenoble, -, novembre 1995.
Jean-Louis Colaço, Marc Pantel
Evaluation du langage Fol : Une machine abstraite pour le filtrage paresseux
Dans : Actes des Journées du Groupement De Recherche en Programmation, –, .
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Static analysis of behavior changes in Actor languages
Dans : Object-Oriented Parallel and Distributed Programming. Jean-Paul Bahsoun, Takanobu Baba, Jean-Pierre Briot, Akinori Yonezawa (Eds.) , Hermès Science, 8, quai du Marché-Neuf, 75004 Paris, France, p. 53-72, janvier 2000.
Analyses Statiques de Langages d’Acteurs par inférence de types
Thèse de doctorat, Institut National Polytechnique de Toulouse, octobre 1997.