Références

Thèses

1

D. Terrasse, Vers un environement d'aide au développement de preuves en Sémantique Naturelle, thèse de doctorat, Université de Nice-Sophia Antipolis, octobre 1995.

Communications à des congrès, colloques, etc.

2

I. Attali, D. Caromel, Y.-S. Chen, J.-L. Gaudiot, A. Wendelborn, ``A Formal Semantics for Sisal Arrays'', in: Conférence sur les Sciences de l'Information (JCIS), Wilmington, octobre 1995.

3

I. Attali, D. Caromel, A. Wendelborn, ``From a Formal Dynamic Semantics of Sisal to a Sisal Environment'', in: actes de 28th Hawaii International Conference of System Sciences (HICSS), IEEE Computer Society Press, janvier 1995.

4

Y. Bertot, R. Fraer, ``Reasoning with Executable Specifications'', in: Conférence internationale Theory and Practice of Software Development, Aarhus, Springer-Verlag LNCS 915, mai 1995.

5

T. Bouguerba, J. Benzakki, M. Israel, L. Rideau, ``A front-end VHDL editor for synthesis tools'', in: actes de VUIF'95 San-Diego, San-Diego, avril 1995.

6

T. Bouguerba, J. Benzakki, M. Israel, L. Rideau, ``VHDL subsets in the SDEV environment: A Case Study : The Synopsys Subset.'', in: actes de VUIF'95 Boston, p. 2.11-2.16, Boston, octobre 1995.

7

C. Cornes, D. Terrasse, ``Automatizing Inversion of Inductive Predicates in Coq'', in: Actes du séminaire annuel Bra Types, Turin, Italie, 5--8 juin 95, 1995. Soumis pour publication.

8

Y. Coscoy, G. Kahn, L. Théry, ``Extracting text from proofs'', in: Actes de la conférence internationale TLCA sur les Lambda Calculs Typés et Applications, Edimbourg, L. . M. Dezani, G. Plotkin (réd.), avril 1995.

9

J. Despeyroux, A. Felty, A. Hirschowitz, ``Higher-order abstract syntax in Coq'', in: Actes de la conférence internationale TLCA sur les Lambda Calculs Typés et Applications, L. . M. Dezani, G. Plotkin (réd.), avril 1995. Egalement paru en rapport INRIA RR-2556.

10

T. Despeyroux, ``Logical Programming and Error Recovery'', in: Actes du Symposium Industrial Applications of Prolog, Tokyo, 1995.

11

H. Goguen, ``Typed Operational Semantics'', in: Proceedings of the International Conference on Typed Lambda Calculi and Applications, Edimbourg, Lecture Notes in Computer Science, 902, Springer--Verlag, p. 186--200, avril 1995.

12

D. Terrasse, ``Encoding Natural Semantics in Coq'', in: Actes de la conférence internationale AMAST on Algebraic Methodology and Software Technology, Montréal, Canada, LNCS (réd.), juillet 1995.

Rapports de recherche et publications internes

13

I. Attali, D. Caromel, S. O. Ehmety, ``An Operational Semantics for the Eiffel// Language'', Rapport de recherche n°2732, INRIA, novembre 1995.

14

S. Behnia, Contrôle d'exécution en sémantique naturelle, Rapport de stage de DEA, Université de Nice-Sophia Antipolis, juin 1995.

15

Y. Coscoy, Explication textuelle de preuves, Rapport de stage de DEA, Ecole polytechnique, juillet 1995.

16

R. Guider, spécification de la parallélisation de programmes, Rapport de stage de DEA, ENS Lyon, juin 1995.

17

A. Jaber, spécification de la sémantique dynamique du langage Sisal, Rapport de stage de DEA, Université de Nice-Sophia Antipolis, juin 1995.

18

S. Lippi, Environnement de mise au point de programmes Eiffel, Rapport de stage deuxième année, ES2I, juillet 1995.

19

L. Ravel, Mise au point pas-à-pas et expressions régulières, Rapport de stage de DEA, Université de Nice-Sophia Antipolis, juin 1995.

20

P. Rosier, Développement d'un environnement de programmation Centaur pour Maple, Rapport de stage de DEA Calcul et Déduction, Université de Nice - Sophia Antipolis, juin 1995.

21

C. Roudet, Visualisation Graphique incrémentale par attributs sémantiques, Rapport de stage de DEA, Université de Nice-Sophia Antipolis, juin 1995.

Divers

22

P. Asar, ``Vers un Atelier d'accueil générique pour la Synthèse ARchitecturale bâti autour de CENTAUR: ASAR'', décembre 1995, Symposium Architectures Nouvelles de Machines. (P. Asar est nom générique pour le projet ASAR dont Laurence Rideau est membre).

23

I. Attali, D. Caromel, S. O. Ehmety, ``Une sémantique opérationnelle pour le langage Eiffel//'', novembre 1995, in: actes des Journées du GDR Programmation, Grenoble.

24

J. Bertot, Y. Bertot, Y. Coscoy, H. Goguen, F. Montagnac, ``User Guide to the CtCoq Proof Environment'', octobre 1995.

25

H. Goguen, ``The Metatheory of UTT'', To appear in Proceedings of BRA Workshop on Types for Proofs and Programs, 1995.