Centre de recherche en informatique

Mathématiques et systèmes




2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000
1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   1989   1988   1987   1986   1985   1983   1979  

1991

Articles publies - Articles soumis - Autres articles et rapports techniques - Rapports internes


Articles publiés :

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

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

Articles soumis :

Autres articles et rapports techniques :

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

Rapports internes :

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