Précédent : Présentation du projet Remonter : PROJET CROAP Suivant : Composants élémentaires d'environnements interactifs

Actions de recherche

• Composants élémentaires d'environnements interactifs
  • Edition syntaxique guidée par menus
  • Spécifications de transformations de programmes
  • Accélérateurs clavier
  • Développement d'un outil de débogage pour PPML
  • Formateur incrémental graphique
  • Documentation et aide aux utilisateurs
• Environnements de programmation
  • Parallélisation de programmes à objets
  • Transformations de programmes Sisal
  • Environnement de programmation pour le langage ML
  • Environnement pour Klone sous Centaur
  • Environnement pour Java sous Centaur
  • Tranches de dépendance dans les programmes annotés
• Environnements de preuve
  • Déplacements d'expressions algébriques
  • Gestion de plusieurs tâches simultanées
  • Approche structurée du retour-arrière
  • Description textuelle des preuves
  • Un environnement léger pour Alf
• Sémantique et preuves
  • Aide au développement de preuves en sémantique naturelle
  • Environnement Centaur pour Z
  • Développement formel en B d'un algorithme de graphes
• Algorithmes de calcul formel certifiés
  • Mécanisation des preuves dans les langages parallèles
• Vers un système de spécification d'ordre supérieur : théorie et pratique
  • Syntaxe abstraite d'ordre supérieur : spécification
  • Sémantique d'ordre supérieur
  • Récursion primitive
  • Premiers résultats métathéoriques
  • Spécification de langages de programmation