Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Patrick Sallé

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2000
[j6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/Lobjet/DagnatPCS00
- ask others
Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé: Typing Concurrent Objects and Actors. L'OBJET 6(1) (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/europar/SalleP99
- ask others
Patrick Sallé, Marc Pantel: Concurrent and Distributed Programming with Objects - Introduction. Euro-Par 1999: 1333
[c9]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmoods/ColacoPDS99
- ask others
J. L. Colaco, Marc Pantel, Fabien Dagnat, Patrick Sallé: Static safety analysis for non-uniform service availability in Actors. FMOODS 1999
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hpcn/BrayAS99
- ask others
L. Bray, Jean-Paul Arcangeli, Patrick Sallé: Experimenting Reflection for Programming Concurrent Objects Scheduling Strategies. HPCN Europe 1999: 1227-1230
1998
[j5]
- view
  - electronic edition @ scpe.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scpe/MarcouxMMS98
- ask others
Annie Marcoux, Christine Maurel, Frédéric Migeon, Patrick Sallé: Generic operational decomposition for concurrent systems: Semantics and Reflection. Scalable Computing: Practice and Experience 1(4) (1998)
1995
[c7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lmo/MassoutiePS95
- ask others
A. El Faker, Christiane Massoutie, Marc Pantel, Patrick Sallé: Vers une machine virtuelle pour l'évaluation des langages d'acteurs. LMO 1995: 221-240

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[j4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sigplan/LapaimeS89
- ask others
Guy Lapaime, Patrick Sallé: Plasma-II: an actor approach to concurrent programming. SIGPLAN Notices 24(4): 81-83 (1989)
1986
[c6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/jfplc/SalleMG86
- ask others
Patrick Sallé, Christiane Massoutie, Marcel Gandriau: Un langage logique orienté objet. SPLT 1986: 401-
1984
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/jfplc/MassoutieS84
- ask others
Christiane Massoutie, Patrick Sallé: Une autre interprétation top down des clauses de Horn: interface avec une base de données. SPLT 1984
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/programm/FinetS84
- ask others
J. Finet, Patrick Sallé: L'inclusion de filtres: une approche de la création d'environnements symboliquesen Plasma. Symposium on Programming 1984: 101-112
1983
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/jfplc/CarreS83
- ask others
F. Carre, Patrick Sallé: Acteurs et programmation en logique: ALOG. SPLT 1983
1980
[j3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ita/Salle80
- ask others
Patrick Sallé: Une Généralisation de la Théorie des Types en \lambda-Calcul (Première partie). ITA 14(2): 143-167 (1980)
[j2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ita/Salle80a
- ask others
Patrick Sallé: Une Généralisation de la Théorie des Types en lambda-Calcul (II). ITA 14(3): 301-314 (1980)
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/programm/Salle80
- ask others
Patrick Sallé: Echappements et continuations en sémantique dénotationnelle. Symposium on Programming 1980: 298-310

1970 – 1979

see FAQ

What is the meaning of the colors in the publication list?

1979
[j1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ita/Salle79
- ask others
Patrick Sallé: Note sur la sémantique des structures de contrôle. ITA 13(2) (1979)
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/CoppoDS79
- ask others
Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé: Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. ICALP 1979: 133-146