Précédent : Diffusion de logiciels Remonter :
PROJET
CROAP Suivant : Abstract
- Habilitation
- 1
- I. ATTALI,
Sémantique Naturelle: expressivité et évaluation,
habilitation à diriger des recherches, Université de Nice
Sophia Antipolis, septembre 1996.
- Articles
- 2
- I. ATTALI,
D. CAROMEL,
S. OULD EHMETY, ``A Natural Semantics for
Eiffel Dynamic Binding'', ACM Transactions on Programming
Languages and Systems (TOPLAS) 18, 5, novembre 1996.
- 3
- I. ATTALI,
D. CAROMEL,
A. WENDELBORN, ``A
Formal Semantics and an Interactive Environment for Sisal'',
in: Tools and Environments for Parallel and Distributed
Systems, Kluwer Academic Publishers, février 1996, ISBN
0-7923-9675-8.
- Communications à
congrès
- 4
- I. ATTALI,
D. CAROMEL,
R. GUIDER,
A. WENDELBORN,
``Optimizing Sisal Programs: a formal approach'', in: Actes
Euro-Par'96, International Conference on Parallel Processing,
Lyon, Springer-Verlag, août 1996. LNCS 1123-1124.
- 5
- I. ATTALI,
D. CAROMEL,
S. OULD EHMETY, S. LIPPI, ``Semantic-based visualization
for parallel object-oriented programming'', in: Actes
OOPSLA'96 (Object-Oriented Programming: Systems, Languages, and
Applications), 31, number 10, ACM Press, Sigplan
Notices, octobre 1996.
- 6
- J. BERTOT,
Y. BERTOT, ``CtCoq:
A System Presentation'', in: Automatic Deduction,
CADE-13, M. McRobbie, J. Slaney (réd.),
LNAI, 1104, Springer Verlag, p. 231-234, juillet
1996.
- 7
- R. FRAER,
``Formal Development in B of a Minimum Spanning Tree
Algorithm'', in: First B Conference, novembre
1996.
- 8
- R. FRAER,
``Tracing the Origins of Verification Conditions'', in:
Fifth International Conference on Algebraic Methodology and
Software Technology (AMAST '96), Springer-Verlag LNCS,
juillet 1996.
- Rapports de
recherche
- 9
- J. DESPEYROUX,
F. PFENNING,
C. SCHüRMANN, ``Primitive recursion for
higher-order abstract syntax'', rapport de recherche
n°CMU-CS-96-172, Carnegie Mellon University, Pittsburgh,
Pennsylvania, août 1996, Une version abrégée a été soumise pour
publication.
- 10
- T. DESPEYROUX,
``AS, for Abstract Syntax - Manual - V1.0'', Rapport
Technique n°0197, Inria, sep 1996, 36 pages, http://www.inria.fr/RRRT/RT-0197.html.
- 11
- A.-M. DéRY,
L. RIDEAU,
``Distributed Architecture for Programming Environments'',
rapport de recherche n°2918, INRIA, juin 1996,
http://www.inria.fr/RRRT/RR-2918.html.
- 12
- A. FELTY,
L. THéRY, ``Interactive Theorem Proving
with Temporal Logic'', Rapport de Recherche n°2804,
INRIA, 1996, http://www.inria.fr/RRRT/RR-2804.html.
- 13
- S. LIPPI,
Modélisation et preuve d'équivalence de programmes Eiffel//
en TLA, Rapport de stage DEA, Université de Marseille
Luminy, juin 1996.
- Divers
- 14
- I. ATTALI,
D. CAROMEL,
R. GUIDER,
A. WENDELBORN,
``Parallélisation de boucles sisal : génération de pipelines'',
novembre 1996, Journées du GDR Programmation, Orléans.
- 15
- I. ATTALI,
C. ROUDET, ``Trfl :
un langage de description de transformations'', novembre 1996,
Journées du GDR Programmation, Orléans.
- 16
- J. BERTOT,
Y. BERTOT, ``The
CtCoq Experience'', août 1996, actes du colloque User
Interfaces for Theorem Provers, York.
- 17
- O. PONS,
L. RIDEAU, ``Outils
de navigation et de maintenance dans un script de preuve'',
novembre 1996, Journées du GDR Programmation, Orléans.