Patrick Sallé

Publication Activity (10 Years)

Years Active: 1979-2000
Publications (10 Years): 0

Publications

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