en lisant cette phrase
j'ai l'impression qu'un lecteur néophyte allait croire que seule la lecture du code et l'export du binaire sont faites en OCaml et le reste est traitée en Coq
Type: Messages; Utilisateur: gorgonite
en lisant cette phrase
j'ai l'impression qu'un lecteur néophyte allait croire que seule la lecture du code et l'export du binaire sont faites en OCaml et le reste est traitée en Coq
euh d'après ce que j'ai compris, la partie "allocation de registres" de CompCert serait encore en OCaml... mais qu'il serait possible d'intégrer les travaux de la thèse de Benoît Robillard (dont la...
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.