Projet : PARA

previous up next contents
Précédent : Participation à des colloques, séminaires, Remonter : Parallélisme


Références

Articles et chapitres de livre

[1]
T. HARDIN, L. MARANGET, B. PAGANO,
« Functional Back-Ends within the Lambda-Sigma Calculus »,
Journal of Functional Programming 8(2), 1998, p. 131-172.

Communications à des congrès, colloques, etc.

[2]
M. ABADI, C. FOURNET, G. GONTHIER,
« Secure Implementation of Channel Abstractions »,
in: LICS '98, IEEE, p. 105-116,
juin 1998.
[3]
M. BOREALE, C. FOURNET, C. LANEVE,
« Bisimulations in the Join-Calculus »,
in: IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET' 98), IFIP,
June 1998.
[4]
A. DEUTSCH, G. GONTHIER, P. LACAN, J.-N. MONFORT, L. RIBAL,
« ARIANE 5 - The Software Reliability Verification Process »,
in: Proc. ESA Conference on DAta Systems In Aerospace 1998,
1998.
[5]
F. L. FESSANT, I. PIUMARTA, M. SHAPIRO,
« An implementation for complete asynchronous distributed garbage collection »,
in: Proceedings of SIGPLAN'98 Conference on Programming Languages Design and Implementation, ACM SIGPLAN Notices, ACM Press,
Montreal, juin 1998,
http://www-sor.inria.fr/publi/ICADGC_pldi98.html.
[6]
C. FOURNET, G. GONTHIER,
« A Hierarchy of Equivalences for Asynchronous Calculi »,
in: Proc. of ICALP'98,
juillet 1998.
[7]
F. LE FESSANT, L. MARANGET,
« Compiling Join-Patterns »,
in: HLCL '98: High-Level Concurrent Languages (Nice, France, September 12, 1998), U. Nestmann, B. C. Pierce (éditeurs), entcs, 16.3, Elsevier Science Publishers,
1998.
[8]
L. MARANGET,
« Hevea 1.02 »,
in: JFLA'99: Journées Francophones des Langages Applicatifs,
février 1999.
[9]
M. TURIN, A. DEUTSCH, G. GONTHIER,
« La vérification des programmes d'Ariane »,
in: Pour la Science, 243,
Janvier 1998.

Rapports de recherche et publications internes

[10]
R. CORI, J.-J. LÉVY,
Algorithmes et Programmation,
Ecole polytechnique, octobre 1998,
http://w3.edu.polytechnique.fr/informatique/TC/polycopie-1.6.
[11]
J.-J. LÉVY,
Langages et compilation,
Ecole polytechnique, mars 1998,
http://para.inria.fr/~levy/x/m2/.

Divers

[12]
M. ABADI, C. FOURNET, G. GONTHIER,
« Secure implementation of channel abstractions »,
Manuscript, full version of this paper, on the Web at http://pauillac.inria.fr/join, 1998.
[13]
C. FOURNET, L. MARANGET,
« The Join-Calculus Version 1.03 »,
Available electronically (http://join.inria.fr), 1998.
[14]
C. K. GILLES DOWEK, THÉRÈSE HARDIN,
« HOL- $ \lambda$$ \sigma$: an intentional first-order expression of higher-order logic »,
Soumis à publication, 1998.
[15]
C. K. GILLES DOWEK, THÉRÈSE HARDIN,
« Theorem proving modulo »,
Soumis à publication, Rapport de Recherche INRIA 3400, 1998.
[16]
F. LE FESSANT,
« Jocaml »,
Available electronically (http://join.inria.fr), 1998.
[17]
L. MARANGET,
« Hevea 1.02 »,
Available electronically ( http:para.inria.fr/$ \sim$maranget/hevea), 1998.

Bibliographie générale

CC79
P. COUSOT, R. COUSOT,
« Systematic design of program analysis frameworks »,
in: 6th Annual ACM Symposium on Principles of Programming Languages, p. 269-282,
1979.
FG96
C. FOURNET, G. GONTHIER,
« The Reflexive Chemical Abstract Machine and the Join-Calculus »,
in: Proceedings of the 23rd Annual Symposium on Principles of Programming Languages (POPL) (St. Petersburg Beach, Florida), ACM, p. 372-385,
janvier 1996.
FGL+96
C. FOURNET, G. GONTHIER, J.-J. LÉVY, L. MARANGET, D. RÉMY,
« A Calculus of Mobile Agents »,
in: CONCUR '96: Concurrency Theory (7th International Conference, Pisa, Italy, August 1996), U. Montanari, V. Sassone (éditeurs), LNCS, 1119, Springer, p. 406-421,
1996.
Mil89
R. MILNER,
Communication and Concurrency,
Prentice Hall, 1989.
MPW92
R. MILNER, J. PARROW, D. WALKER,
« A Calculus of Mobile Processes, Parts I and II »,
Journal of Information and Computation 100, septembre 1992, p. 1-77.
PT97
B. C. PIERCE, D. N. TURNER,
« Pict: User Manual »,
Available electronically, 1997.
Rob91
ROBIN MILNER,
« The Polyadic $ \pi$-Calculus: a Tutorial »,
rapport de recherche no ECS-LFCS-91-180, LFCS, University of Edinburgh, octobre 1991,
Also in Logic and Algebra of Specification, ed. F. L. Bauer, W. Brauer and H. Schwichtenberg, Springer, 1993.
TLK96
B. THOMSEN, L. LETH, T.-M. KUO,
« A Facile Tutorial »,
in: CONCUR '96: Concurrency Theory (7th International Conference, Pisa, Italy, August 1996), U. Montanari, V. Sassone (éditeurs), LNCS, 1119, Springer, p. 278-298,
1996.