Search the dblp DataBase

Publications of Author

1. Patrick Sallé, Marc Pantel
   Concurrent and Distributed Programming with Objects - Introduction. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 1999, pp:1333- [Conf]
   
2. J. L. Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé
   Static safety analysis for non-uniform service availability in Actors. [Citation Graph (0, 0)][DBLP]
   FMOODS, 1999, pp:- [Conf]
   
3. L. Bray, Jean-Paul Arcangeli, Patrick Sallé
   Experimenting Reflection for Programming Concurrent Objects Scheduling Strategies. [Citation Graph (0, 0)][DBLP]
   HPCN Europe, 1999, pp:1227-1230 [Conf]
   
4. Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé
   Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   ICALP, 1979, pp:133-146 [Conf]
   
5. F. Carre, P. Salle
   Acteurs et programmation en logique: ALOG. [Citation Graph (0, 0)][DBLP]
   SPLT, 1983, pp:- [Conf]
   
6. Christiane Massoutie, P. Salle
   Une autre interprétation top down des clauses de Horn: interface avec une base de données. [Citation Graph (0, 0)][DBLP]
   SPLT, 1984, pp:- [Conf]
   
7. P. Salle, Christiane Massoutie, Marcel Gandriau
   Un langage logique orienté objet. [Citation Graph (0, 0)][DBLP]
   SPLT, 1986, pp:401-0 [Conf]
   
8. Patrick Sallé
   Echappements et continuations en sémantique dénotationnelle. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1980, pp:298-310 [Conf]
   
9. J. Finet, Patrick Sallé
   L'inclusion de filtres: une approche de la création d'environnements symboliquesen Plasma. [Citation Graph (0, 0)][DBLP]
   Symposium on Programming, 1984, pp:101-112 [Conf]
   
10. A. El Faker, Christiane Massoutie, Marc Pantel, Patrick Sallé
    Vers une machine virtuelle pour l'évaluation des langages d'acteurs. [Citation Graph (0, 0)][DBLP]
    LMO, 1995, pp:221-240 [Conf]
    
11. Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé
    Typing Concurrent Objects and Actors. [Citation Graph (0, 0)][DBLP]
    L'OBJET, 2000, v:6, n:1, pp:- [Journal]
    
12. Patrick Sallé
    Note sur la sémantique des structures de contrôle. [Citation Graph (0, 0)][DBLP]
    ITA, 1979, v:13, n:2, pp:- [Journal]
    
13. Patrick Sallé
    Une Généralisation de la Théorie des Types en \lambda-Calcul (Première partie). [Citation Graph (0, 0)][DBLP]
    ITA, 1980, v:14, n:2, pp:143-167 [Journal]
    
14. Patrick Sallé
    Une Généralisation de la Théorie des Types en lambda-Calcul (II). [Citation Graph (0, 0)][DBLP]
    ITA, 1980, v:14, n:3, pp:301-314 [Journal]
    
15. G. Lapaime, Patrick Sallé
    Plasma-II: an actor approach to concurrent programming. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1989, v:24, n:4, pp:81-83 [Journal]