Patrick Sallé

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Typing Concurrent Objects and Actors.

Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé

Obj. Logiciel Base données Réseaux, 2000

1999

Experimenting Reflection for Programming Concurrent Objects Scheduling Strategies.

L. Bray, Jean-Paul Arcangeli, Patrick Sallé

Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

Static safety analysis for non-uniform service availability in Actors.

Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Concurrent and Distributed Programming with Objects - Introduction.

Patrick Sallé, Marc Pantel

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.

Annie Marcoux, Christine Maurel, Frédéric Migeon, Patrick Sallé

Scalable Comput. Pract. Exp., 1998

1995

Vers une machine virtuelle pour l'évaluation des langages d'acteurs.

A. El Faker, Christiane Massoutie, Marc Pantel, Patrick Sallé

Proceedings of the Actes des journées Langages et Modèles à Objets, 1995

1988

Plasma-II: an actor approach to concurrent programming.

Guy Lapaime, Patrick Sallé

Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

1986

Un langage logique orienté objet.

Patrick Sallé, Christiane Massoutie, Marcel Gandriau

Proceedings of the SPLT'86, 1986

1984

L'inclusion de filtres: une approche de la création d'environnements symboliquesen Plasma.

J. Finet, Patrick Sallé

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.

Christiane Massoutie, Patrick Sallé

Proceedings of the SPLT'84, 1984

1983

Acteurs et programmation en logique: ALOG.

F. Carre, Patrick Sallé

Proceedings of the SPLT'83, 1983

1980

Une Généralisation de la Théorie des Types en lambda-Calcul (II).

Patrick Sallé

RAIRO Theor. Informatics Appl., 1980

Une Généralisation de la Théorie des Types en \lambda-Calcul (Première partie).

Patrick Sallé

RAIRO Theor. Informatics Appl., 1980

Echappements et continuations en sémantique dénotationnelle.

Patrick Sallé

Proceedings of the International Symposium on Programming, 1980

1979

Note sur la sémantique des structures de contrôle.

Patrick Sallé

RAIRO Theor. Informatics Appl., 1979

Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé

Proceedings of the Automata, 1979