Publications de Jean-Claude Reynaud

Load the BibTeX file

Articles de journaux

1. Dominique Duval, Jean-Claude Reynaud. Sketches and Computation over fields. Mathematics and Computers in Simulation, 42:363-376, 1996.
2. Didier Bert, Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Jean-Claude Reynaud. Spécification, Généricité, Prototypage : Aspects du langage LPG. Technique et Science Informatiques, 14(9):1097-1129, 1995.

Conférences internationales

1. D. Duval, J.-C. Reynaud. Diagramatic logic and exceptions: an introduction. In Proc. of the Dagstuhl Seminar 05021, Materials, Mathematics, Algorithms, Proofs, http://www.dagstuhl.de/05021/, Janvier 2005.

Rapports de recherche

1. D. Duval, J.-C. Reynaud. Diagrammatic logic and effects: the example of exceptions. Rapport de Recherche LSR, Février 2005.
2. D. Duval, C. Lair, C. Oriat, J.C. Reynaud. A zooming process for specifications with an application to exceptions. RR IMAG-LMC, No 1055, 2003.