1. Recherche
10 résultats  enregistrer la recherche
...
inria-00073642v1  Rapport
Rémi Douence, Pascal Fradet. A Taxonomy of Functional Language Implementations Part II : Call-by-Name, Call-by-Need and Graph Reduction
[Research Report] RR-3050, INRIA. 1996
...
inria-00073908v1  Rapport
Rémi Douence, Pascal Fradet. A Taxonomy of Functional Language Implementations : Part I : Call by Value
[Research Report] RR-2783, INRIA. 1996
...
inria-00073795v1  Rapport
Pascal Fradet, Ronan Gaugne, Daniel Le Métayer. An Inference Algorithm for the Static Verification of Pointer Manipulation
[Research Report] RR-2895, INRIA. 1996
...
inria-00074540v1  Rapport
Pascal Fradet. Compilation of head and strong reduction
[Research Report] RR-2132, INRIA. 1993
...
inria-00077156v3  Rapport
Tolga Ayav, Pascal Fradet, Alain Girault. Implementing Fault-Tolerance in Real-Time Systems by Program Transformations
[Research Report] RR-5919, INRIA. 2006
...
inria-00072760v1  Rapport
Pascal Fradet, Julien Mallet. Compilation of a Specialized Functional Language for Massively Parallel Computers
[Research Report] RR-3894, INRIA. 2000
...
inria-00070276v1  Rapport
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Generalized Multisets for Chemical Programming
[Research Report] RR-5743, INRIA. 2005, pp.26
...
inria-00072153v1  Rapport
Rémi Douence, Pascal Fradet, Mario Südholt. Detection and resolution of aspect interactions
[Research Report] RR-4435, INRIA. 2002
...
inria-00075518v1  Rapport
Pascal Fradet, Daniel Le Métayer. Compilation of functional languages by program transformation
[Research Report] RR-1040, INRIA. 1989
...
inria-00000624v1  Rapport
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac. Generalized Multisets for Chemical Programming
[Research Report] PI 1762, 2005, pp.26

Contact


archive-ouverte@inria.fr