Extraction dans le Cci - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2000

Extraction dans le Cci

Loïc Pottier

Résumé

On présente ici une méthode permettant d'extraire de n'importe quel terme du CCI (toutes sortes confondues) un programme Ocaml acceptable par OCAML, et dont l'évaluation est efficace.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-4026.pdf (210.34 Ko) Télécharger le fichier

Dates et versions

inria-00072614 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00072614 , version 1

Citer

Loïc Pottier. Extraction dans le Cci. [Rapport de recherche] RR-4026, INRIA. 2000, pp.13. ⟨inria-00072614⟩
49 Consultations
93 Téléchargements

Partager

Gmail Facebook X LinkedIn More