Précédent : Diffusion de logiciels Remonter :
Projet
LANDE
- Livres
- 1
- J.-M. ANDRéOLI,
C. HANKIN, D.
LE MéTAYER, Coordination programming:
mechanisms, models and semantics, World Scientific
Publishing, IC Press, 1996.
- Thèses
- 2
- R. DOUENCE,
Décrire et comparer les implantations de langages
fonctionnels, thèse de doctorat, université de
Rennes 1, octobre 1996.
- 3
- P. LOUVET,
Programmation en logique et typage d'ordre supérieur,
thèse de doctorat, université de Rennes 1, décembre
1996.
- 4
- F. NOëL,
Spécialisation dynamique par évaluation partielle,
thèse de doctorat, université de Rennes 1, octobre
1996.
- Articles
- 5
- D. LE
MéTAYER,
D. SCHMIDT,
``Structural Operational Semantics as a basis for static
program analysis'', ACM Computing Surveys, 2, juin
1996, p. 340-343.
- Communications à
congrès
- 6
- J.-P. BANâTRE, D. LE MéTAYER, ``Gamma and the chemical
reaction model: ten years after'', in: Coordination
programming: mechanisms, models and semantics, World
Scientific Publishing, IC Press, 1996.
- 7
- C. CONSEL,
L. HORNOF,
F. NOëL, J. NOYé, E.-N. VOLANSCHI, ``A Uniform Approach for
Compile-Time and Run-Time Specialization'', in: Proceedings
of the International Seminar on Partial Evaluation, Dagstuhl
Castle, Springer Verlag, LNCS 1110, p. 54-72,
1996.
- 8
- C. CONSEL,
F. NOëL, ``A general approach for run-time
specialization and its application to C'', in: Proceedings
of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages, p. 145-156, 1996.
- 9
- R. DOUENCE,
P. FRADET, ``Décrire
et comparer les implantations de langages fonctionnels'',
in: proc. Journées Francophones des Langages
Applicatifs, Inria, série Didactiques, Montréal (Québec),
janvier 1996.
- 10
- M. DUCASSé,
J. NOYé, ``Tracing
Prolog without a tracer'', in: Proceedings of the poster
session at JICSLP'96, GMD-STUDIEN Nr.296, p. 223-232,
septembre 1996. Résumé paru dans proc. of the JICSLP'96, MIT
Press.
- 11
- P. FRADET, D.
LE MéTAYER, ``Type checking for a
multiset rewriting language'', in: Proceedings of the
LOMAPS workshop on Analysis and Verification of Multiple-agent
Languages, Springer-Verlag, LNCS, 1996.
- 12
- P. FRADET,
R. GAUGNE, D.
LE MéTAYER, ``Static detection of pointer
errors: an axiomatisation and a checking algorithm'', in:
proc. European Symposium on Programming, ESOP'96, Springer
Verlag, LNCS 1058, p. 125-140, avril 1996.
- 13
- P. FRADET,
D. LE MéTAYER, ``Shape types'', in:
Proceedings of the 24rd ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, janvier 1997.
- 14
- A. HOLZBACHER,
``Coordination of distributed and parallel programs in
Concoord'', in: Coordination programming: mechanisms,
models and semantics, World Scientific Publishing, IC
Press, 1996.
- 15
- D. LE
MéTAYER, ``Software
architecture styles as graph grammars'', in: Proceedings of
the ACM SIGSOFT Symposium on the Foundations of Software
Engineering, octobre 1996.
- 16
- P. LOUVET,
O. RIDOUX,
``Parametric Polymorphism for Typed Prolog and
Prolog'', in: 8th Int. Work. Programming
Languages Implementation and Logic Programming, Springer
Verlag, LNCS 1140, p. 47-61, Aachen, 1996.
- 17
- P. PEPPER,
M. SüDHOLT,
``Deriving Parallel Numerical Algorithms using Data
Distribution Algebras: Wang's Algorithm'', in: Proceedings
of the 30rd Hawaii International Conference on System
Sciences, IEEE, janvier 1997.
- 18
- O. RIDOUX,
``Engineering Transformations of Attributed Grammars in
Prolog'', in:
Joint Int. Conf. and Symp. Logic Programming,
M. Maher (réd.), MIT Press, p. 244-258, 1996.
- 19
- S. SCHOENIG,
M. DUCASSé, ``A
Backward Slicing Algorithm for Prolog'', in: Static
Analysis Symposium, Springer-Verlag, LNCS 1145,
p. 317-331, Aachen, septembre 1996.
- 20
- M. SüDHOLT,
C. PIEPENBROCK,
K. OBERMAYER,
P. PEPPER, ``Solving
large systems of differential equations using Data Distribution
Algebras'', in: Proceedings of the IFIP TC 2 Working
Conference on Algorithmic Languages and Calculi, Chapman
& Hall, février 1997.
- 21
- E.-N. VOLANSCHI,
G. MULLER,
C. CONSEL, ``Safe
Operating System Specialization: the RPC Case Study'', in:
Proceedings of WCSSS'96, Inaugural Workshop on Compiler Support
for Systems Software, p. 24-28, 1996.
- Rapports de
recherche
- 22
- R. DOUENCE,
P. FRADET, ``A
taxonomy of functional languages implementations - Part I:
Call-by-value'', rapport de recherche RR-2783, Inria,
janvier 1996.
http://www.inria.fr/RRRT/RR-2783.html
- 23
- R. DOUENCE,
P. FRADET, ``A
taxonomy of functional languages implementations - Part II:
Call-by-name, call-by-need and graph reduction'', rapport
de recherche PI-1047, Irisa, octobre 1996.
http://www.irisa.fr/bibli/pi/1047/1047.html
- 24
- P. FRADET, D.
LE MéTAYER, ``Structured Gamma'',
rapport de recherche PI-989, Irisa, 1996.
http://www.irisa.fr/bibli/pi/989/989.html
- 25
- P. FRADET,
R. GAUGNE, D.
LE MéTAYER, ``An inference algorithm for
the static verification of pointer manipulation'', rapport
de recherche PI-980, Irisa, janvier 1996.
http://www.irisa.fr/bibli/pi/980/980.html
- 26
- L. HORNOF,
J. NOYé,
C. CONSEL,
``Accurate Partial Evaluation of Realistic Programs via Use
Sensitivity'', rapport de recherche, Inria, juin
1996.
- 27
- B. MOURA,
C. CONSEL,
J. LAWALL,
``Bridging the Gap between Functional and Imperative
Languages'', rapport de recherche, Inria, juin
1996.
- 28
- S. SCHOENIG,
M. DUCASSé,
``Slicing pour programmes Prolog'', rapport de
recherche, université de Bordeaux 1 (actes des journées
GDR programmation), novembre 1996.