Centre de recherche en informatique
Mathématiques et systèmes
- A/209/CRI :
- POLYMORPHIC TIME SYSTEMS FOR ESTIMATING PROGRAM COMPLEXITY.April 1991.
- IN : BIGRE 74, Octobre 1991. Journées de travail sur l'analyse statique en programmation equationnelle, fonctionnelle et logique
IN : Workshop on static analysis of equational, functional and logic programs, Bordeaux, France, 9-11 Octobre 1991.
No d'enregistrement E/154- V. Dornic, P. Jouvelot, David K. Gifford
- A/207/CRI :
- DISTRIBUTION D'UNE APPLICATION SCIENTIFIQUE SUR UN RESEAU DE STATIONS DE TRAVAIL. APPROCHE THÉORIQUE ET IMPLEMENTATION.
- Diffusion : IFP
- Septembre 1991
- Eric W. Bazin
- A/206/CRI/1992 :
- THE TYPE AND EFFECT DISCIPLINE. (Extended Version) December 1991, Revised Octobre 1992.
- IN : The proceedings of 1992 Conference on Logic in Computer Science. IEEE Computer Society Press, 1992.
IN : Information And Computation, Vol.111, No.2, June 1994, pp.245-295- June 1994
- J.-P. Talpin, P. Jouvelot
- A/205/CRI :
- POLYMORPHIC TYPE, REGION AND EFFECT INFERENCE. February 1991, revised December 1991
- IN : Journal on Functional Programming, Vol.2, No.2, 1992, Cambridge University Press
- J.-P. Talpin, P. Jouvelot
- A/204/CRI :
- THE AXIOMATIC CHARACTERIZATION OF EASE*. June 13th, 1991
- IN: A workshop on Linda-like systems, Edinburgh, Scotland, June 1991
IN: Linda-Like Systems and their Implementation, 1991, pages 143-152, Edinburgh Parallel computing Center, TR91-13- Steven Ericsson Zenith
- A/203/CRI :
- A RATIONALE FOR PROGRAMMING WITH EASE*. May 1st, 1991.
- IN: the proceedings: Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France
IN: Research Directions in High-level Parallel Programming Language, 1992, pages 147-156, Springer-Verlag, London, UK.- June 1991
- Steven Ericsson Zenith
- A/202/CRI :
- ALGEBRAIC RECONSTRUCTION OF TYPES AND EFFECTS.
- IN : Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, PoPL'91, Orlando, Florida, January 21-23 1991
- P. Jouvelot, David K. Gifford
Articles soumis :
- A/201/CRI :
- SEMANTICAL INTERPROCEDURAL PARALLELIZATION: AN OVERVIEW OF THE PIPS PROJECT.
- IN : ACM International Conference on Supercomputing, ICS'91, Cologne, Allemagne, 16-21 Juin 1991
- F. Irigoin, P. Jouvelot, R. Triolet
Autres articles et rapports techniques :
Rapports internes :
- A/208/CRI :
- THE FX/CM COMPILER BACKEND, OR TAMING MASSIVE PARALLELISM WITH AN EFFECT SYSTEM.
- Extended Abstract
- December 1991
- J.-P. Talpin, P. Jouvelot
- E/157/CRI :
- MAINTIEN DE LA COHERENCE DANS UN COMPILATEUR-OPTIMISEURINTERPROCEDURAL.
- RAPPORT DE DEA
- Juillet 1991
- B. Baron
- E/156/CRI :
- INTERFACAGE DU PARALLELISEUR PIPS AVEC XWINDOW.
- RAPPORT DE DEA
- Juin 1991
- A. Chihani