Patrick Sallé

According to our database1, Patrick Sallé authored at least 16 papers between 1979 and 2000.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2000
Typing Concurrent Objects and Actors.
Obj. Logiciel Base données Réseaux, 2000

1999
Experimenting Reflection for Programming Concurrent Objects Scheduling Strategies.
Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

Static safety analysis for non-uniform service availability in Actors.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Concurrent and Distributed Programming with Objects - Introduction.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998
Generic operational decomposition for concurrent systems: Semantics and Reflection.
Parallel Distributed Comput. Pract., 1998

1995
Vers une machine virtuelle pour l'évaluation des langages d'acteurs.
Proceedings of the Actes des journées Langages et Modèles à Objets, 1995

1988
Plasma-II: an actor approach to concurrent programming.
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

1986
Un langage logique orienté objet.
Proceedings of the SPLT'86, 1986

1984
L'inclusion de filtres: une approche de la création d'environnements symboliquesen Plasma.
Proceedings of the International Symposium on Programming, 1984

Une autre interprétation top down des clauses de Horn: interface avec une base de données.
Proceedings of the SPLT'84, 1984

1983
Acteurs et programmation en logique: ALOG.
Proceedings of the SPLT'83, 1983

1980
Une Généralisation de la Théorie des Types en lambda-Calcul (II).
RAIRO Theor. Informatics Appl., 1980

Une Généralisation de la Théorie des Types en \lambda-Calcul (Première partie).
RAIRO Theor. Informatics Appl., 1980

Echappements et continuations en sémantique dénotationnelle.
Proceedings of the International Symposium on Programming, 1980

1979
Note sur la sémantique des structures de contrôle.
RAIRO Theor. Informatics Appl., 1979

Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.
Proceedings of the Automata, 1979


  Loading...