Patrick Sallé

16 papers A* 1Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2000 J jnl
Typing Concurrent Objects and Actors.
Obj. Logiciel Base données Réseaux
Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé
1999 — conf
Concurrent and Distributed Programming with Objects - Introduction.
Euro-Par
Patrick Sallé, Marc Pantel
1999 — conf
Experimenting Reflection for Programming Concurrent Objects Scheduling Strategies.
HPCN Europe
L. Bray, Jean-Paul Arcangeli, Patrick Sallé
1999 — conf
Static safety analysis for non-uniform service availability in Actors.
FMOODS
Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé
1998 J jnl
Generic operational decomposition for concurrent systems: Semantics and Reflection.
Parallel Distributed Comput. Pract.
Annie Marcoux, Christine Maurel, Frédéric Migeon, Patrick Sallé
1995 — conf
Vers une machine virtuelle pour l'évaluation des langages d'acteurs.
LMO
A. El Faker, Christiane Massoutie, Marc Pantel, Patrick Sallé
1988 — conf
Plasma-II: an actor approach to concurrent programming.
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming
Guy Lapaime, Patrick Sallé
1986 — conf
Un langage logique orienté objet.
SPLT
Patrick Sallé, Christiane Massoutie, Marcel Gandriau
1984 — conf
L'inclusion de filtres: une approche de la création d'environnements symboliquesen Plasma.
Symposium on Programming
J. Finet, Patrick Sallé
1984 — conf
Une autre interprétation top down des clauses de Horn: interface avec une base de données.
SPLT
Christiane Massoutie, Patrick Sallé
1983 — conf
Acteurs et programmation en logique: ALOG.
SPLT
F. Carre, Patrick Sallé
1980 — conf
Echappements et continuations en sémantique dénotationnelle.
Symposium on Programming
Patrick Sallé
1980 J jnl
Une Généralisation de la Théorie des Types en \lambda-Calcul (Première partie).
RAIRO Theor. Informatics Appl.
Patrick Sallé
1980 J jnl
Une Généralisation de la Théorie des Types en lambda-Calcul (II).
RAIRO Theor. Informatics Appl.
Patrick Sallé
1979 A* conf
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.
ICALP
Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé
1979 J jnl
Note sur la sémantique des structures de contrôle.
RAIRO Theor. Informatics Appl.
Patrick Sallé