• Nenhum resultado encontrado

Un système de types pragmatique pour la vérification déductive des programmes

N/A
N/A
Info
Descarregar agora
Protected

Academic year: 2024

Share "Un système de types pragmatique pour la vérification déductive des programmes"

Copied!
162
0
0

Carregando.... (Ver texto completo agora)

Descarregar agora ( 162 páginas )

Texto

Loading

Imagem

Figure 1.1 – Déplacement du robot sur une grille
Figure 1.2 – Vérification déductive des programmes.
Figure 1.3 – Réalisation de l’algorithme de Kadane en Why3.
Figure 2.1 – Types et effets.
+7

Referências

Descarregar agora ( PDF - 162 páginas - 2.98 MB )

Outline

Correction du typage Correction de l’effacement Effets Correction du typage Raffinement des types Préservation du typage par le raffinement Présentation de l’approche Implémentation

Documentos relacionados

Application d’une approche inspirée des colonies de fourmis pour la recommandation des chemins d’apprentissage dans un cours en ligne : modèle et expérience

Nous avons décrit conceptuelle- ment les différentes phases pour la mise en œuvre d’une approche de recommandation des chemins d’apprentissage basée sur l’OCF, à