Références

Thèses

1

I. Stéphan, Nouvelles fondations pour la programmation en logique disjonctive, thèse de doctorat, Université de Rennes 1, décembre 1995.

Articles et chapitres de livre

2

C. Belleannée, P. Brisset, O. Ridoux, ``Une reconstruction pragmatique de Prolog'', Technique et Science Informatiques, novembre 1995.

3

G. Burn, D. Le Métayer, ``Proving the correctness of compiler optimisations based on strictness analysis'', Journal of Functional Programming, janvier 1996.

4

C. Consel, S. C. Khoo, ``On-line & off-line partial evaluation : semantic specifications and correctness proofs'', Journal of Functional Programming, décembre 1995.

5

S. Coupet-Grimal, O. Ridoux, ``On the use of advanced logic programming languages in computational linguistics'', J. Logic Programming 24, 1&2, 1995, p. 121--159.

6

C. L. Hankin, D. Le Métayer, ``Lazy types and program analysis'', Science of Computer Programming, décembre 1995.

Communications à des congrès, colloques, etc.

7

J.-P. Banâtre, C. Bryce, D. Le Métayer, ``An approach to information security in distributed systems'', in: Proceedings of the 5th IEEE International Workshop on Future Trends in Distributed Computing Systems, p. 384-394, Corée du Sud, août 1995.

8

J.-P. Banâtre, D. Le Métayer, ``Gamma and the chemical reaction model'', in: Proceedings of the Coordination'95 workshop, IC Press, Londres, 1995.

9

Y. Bekkers, P. Tarau, ``Logic programming with monads and comprehensions'', in: Journées Francophones de Programmation Logique, Teknea, p. 161--172, Dijon, France, 1995.

10

Y. Bekkers, P. Tarau, ``Logic programming with monads and comprehensions'', in: 12th Int. Logic Programming Symp., J. Lloyd (réd.), MIT Press, 1995.

11

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, 1996. à paraître.

12

B. Couasnon, P. Brisset, I. Stéphan, ``Using logic programming languages for optical music recognition'', in: 3rd Conf. The Practical Application of Prolog, Alinmead Software Ld, Paris, France, 1995.

13

D. Le Métayer, ``Proving properties of programs defined over recursive data structures'', in: ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, Californie, 1995.

14

R. Douence, P. Fradet, ``Towards a taxonomy of functional languages implementations'', in: proc. 7th International Symposium on Programming Languages: Implementations, Logics and Programs, LNCS, 982, Springer Verlag, p. 27-44, septembre 1995.

15

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.

16

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, LNCS, Springer Verlag, avril 1996.

17

C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan, J. Inouye, L. Kethana, J. Walpole, K. Zhang, ``Optimistic incremental specialization: streamlining a commercial operating system'', in: ACM Symposium on Operating Systems Principles, 1995. à paraître.

18

O. Ridoux, ``Imagining CLP'', in: Constraint Programming: Basics and Trends. Selected papers of the 22nd Spring School in Theoretical Computer Science. Springer Verlag, LNCS 910, A. Podelski (réd.), Chatillon/Seine, France, 1995.

Rapports de recherche et publications internes

19

M. Ducassé, J. Noyé, ``Logic programming environments: dynamic program analysis and debugging'', rapport de recherche n°2618, Inria, 1995.

20

V. Gouranton, D. Le Métayer, ``Derivation of static analysers of functional programs from path properties of a natural semantics'', rapport de recherche n°2607, Inria, juillet 1995.

21

R.Douence, P. Fradet, ``A taxonomy of functional languages implementations: Part I Call-by-value'', rapport de recherche n°972, Irisa, 1995.

Divers

22

C. Consel, L. Hornof, F. Noël, J. Noyé, N. Volanschi, ``A uniform approach for compile-time and run-time specialization'', 1995, Actes des journées du GDR Programmation, université de Bordeaux.

23

M. Ducassé, ``Automated debugging extensions of the Opium trace analyser'', mai 1995, Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging, Saint Malo.

24

M. Ducassé, ``Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging'', mai 1995, (réd).

25

V. Gouranton, ``Une analyse de globalisation de programmes fonctionnels basée sur une sémantique naturelle'', 1995, Actes des journées du GDR Programmation, université de Bordeaux.

26

B. Moura, C. Consel, ``The functional approach to analyses and transformations of imperative programs'', 1995, Actes des journées du GDR Programmation, université de Bordeaux.

27

S. Schoenig, M. Ducassé, ``A Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog'', dec 1995, 7th Workshop on Logic Programming Environments, M. Fromherz and M. Kirschenbaum and A.J. Kusalik (réd), En conjonction avec ``International Logic Programming Symposium'', ILPS'95, Porland, Oregon, USA.