Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Jean-Louis Colaço

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Contributions à des ouvrages de synthèse / Book chapters

  • 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.
    BibTeX

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Jean-Louis Colaço. Analyses Statiques de Langages d'Acteurs par inférence de types. Thèse de doctorat, Institut National Polytechnique de Toulouse, octobre 1997.
    BibTeX