Extraction dans le Cci - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2000

Extraction dans le Cci

Loïc Pottier

Abstract

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00072614 , version 1

Cite

Loïc Pottier. Extraction dans le Cci. [Rapport de recherche] RR-4026, INRIA. 2000, pp.13. ⟨inria-00072614⟩
46 View
86 Download

Share

Gmail Facebook Twitter LinkedIn More