Précédent : Activités extérieures Remonter :
Projet
PARA Suivant : Abstract
- Thèses
- 1
- P.-A. MELLIèS, Description Abstraite des
Systèmes de Réécritures, Thèse de doctorat, Université
Paris 7, décembre 1996.
- Articles
- 2
- P.-L. CURIEN,
T. HARDIN, J.-J.
LéVY, ``Confluence
Properties of Weak and Strong Calculi of Explicit
Substitutions'', Journal of the ACM 43, 2, mars 1996,
p. 362-397.
- Communications à
congrès
- 3
- M. ABADI,
B. LAMPSON, J.-J.
LéVY, ``Analysis and
Caching of Dependencies'', in: ACM Sigplan International
Conference on Functional Programming, Philadelphia,
1996.
- 4
- G. DOWEK,
T. HARDIN,
C. KIRCHNER,
F. PFENNING,
``Unification via Explicit Substitutions:The Case of
Higher-Order Patterns'', in: International Joint Conference
and Symposium on Logic Programming, Bonn, sept. 96,
1996.
- 5
- C. FOURNET,
G. GONTHIER, J.-J.
LéVY,
L. MARANGET,
D. RéMY, ``A
Calculus of Mobile Agents'', in: 7th International
Conference on Concurrency Theory (CONCUR'96),
Springer-Verlag, p. 406-421, Pisa, Italy, août 26-29 1996.
LNCS 1119.
- 6
- C. FOURNET,
G. GONTHIER, ``The
Reflexive Chemical Abstract Machine and the Join-Calculus'',
in: Proceedings of the 23rd ACM Symposium on Principles of
Programming Languages, ACM, p. 372-385, St.
Petersburg Beach, Florida, janvier 21-24 1996.
- 7
- G. GONTHIER,
``Verifying the safety of a practical concurrent garbage
collector'', in: Proceedings of the Eighth International
Conference on Computer-Aided Verification, ACM,
New Brunswick, New Jersey, juillet 1996.
- 8
- T. HARDIN,
L. MARANGET,
B. PAGANO,
``Functional Back-Ends within the Lambda-Sigma Calculus'',
in: ACM Sigplan International Conference on Functional
Programming, Philadelphia, 1996.
- Polycopiés
- 9
- R. CORI, J.-J.
LéVY, Algorithmes et
Programmation, Ecole polytechnique, octobre 1996,
http://www.polytechnique.fr/poly/~www/poly/.
- 10
- J.-J. LéVY,
Systèmes et Réseaux, Ecole polytechnique, mars
1996,
http://www.polytechnique.fr/poly/~www/poly/majifa-syst-96/.
- Rapports de
recherche
- 11
- C. FOURNET,
C. LANEVE,
L. MARANGET,
D. RéMY, ``Implicit
typing à la ML for the join-calculus'', rapport de
recherche, INRIA, Bologna, Rocquencourt, 1996, soumis à
publication.
- 12
- S. HUET,
``Sécurité et processus mobiles'', rapport de
recherche, DEA, Ecole polytechnique, Palaiseau, 1996.