Programmation du systeme Unix en Caml Light

Résumé : Ce rapport est en cours d'introduction a la programmation du systeme Unix, mettant l'accent sur la communication entre les processus. La principale nouveaute de ce travail est l'utilisation du langage Caml Light, un dialecte du langage ML, a la place du langage C qui est d'ordinaire associe a la programmation systeme. Ceci donne des poinst de vue nouveaux a la fois sur la programmation systeme et sur le langage ML.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00070021
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:50:32 PM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
Long-term archiving on : Sunday, April 4, 2010 - 8:15:50 PM

Identifiers

  • HAL Id : inria-00070021, version 1

Collections

Citation

Xavier Leroy. Programmation du systeme Unix en Caml Light. RT-0147, INRIA. 1993, pp.91. ⟨inria-00070021⟩

Share

Metrics

Record views

186

Files downloads

307