Publications of
Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé
Static safety analysis for non-uniform service availability in Actors
In : Formal Methods for Open Object-based Distributed Systems, Florence, 15/02/99-18/02/99, Kluwer Academic Publisher, Pays-Bas, pp. 371-386, February 1999.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
From set based to multiset based analysis: A practical approach
In : Workshop on set constraints and set based analysis, Pise, 28/10/98, Pise Univ., pp. 1-10, October 1998.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Analyses Statiques de langages d’Acteurs
In : 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
In : Proceedings of the 2nd France Japan Workshop on Object Based Parallel and Distributed Computing, –, -, October 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Analyse de linéarité par typage dans un calcul d’acteurs
In : Actes des Journées Francophones des Langages Applicatifs, –, -, January 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
A set-constraint-based analysis of actors
In : Proceedings of the 1997 IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, –, Chapman and Hall, pp. 107-122, July 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
CAP: An Actor dedicated process calculus
In : ECOOP’96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, -, July 1996.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni
Un calcul d’Acteurs primitifs (CAP)
In : Actes des Journées Francophones des Langages Applicatifs, –, -, January 1996.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
An actor dedicated process calculus
In : ECOOP’96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, –, -, May 1996.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni
Un calcul d’acteurs primitifs
In : Journées du G.D.R. Programmation, Grenoble, -, November 1995.
Jean-Louis Colaço, Marc Pantel
Evaluation du langage Fol : Une machine abstraite pour le filtrage paresseux
In : 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
In : 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, pp. 53-72, January 2000.
Analyses Statiques de Langages d’Acteurs par inférence de types
Master’s Thesis, Institut National Polytechnique de Toulouse, October 1997.