Prêtable
| Titre : | Le langage caml |
| Auteurs : | Pierre Weis ; Xavier Leroy |
| Type de document : | texte imprimé |
| Mention d'édition : | 2ème éd. |
| Editeur : | Paris [France] : Dunod, 1999 |
| Collection : | Sciences Sup |
| ISBN/ISSN/EAN : | 978-2-10-004383-5 |
| Format : | XII-370p. / ill.; couv. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 005.13 (Langages de programmation) |
| Catégories : | |
| Mots-clés: | Caml ( langage de programmation) |
| Résumé : |
Caml est un langage de programmation développé par l'INRIA depuis une dizaine d'années. Il a été peu à peu découvert par les universitaires, qui l'apprécient beaucoup en raison de son intérêt pédagogique. Il s'enseigne en licence et dans une moindre mesure en DEUG. Ce cours de programmation introduit progressivement les mécanismes du langage et les montre à l'oeuvre face aux problèmes fondamentaux de la programmation. Choisis pour leur intérêt pédagogique ou pratique, de très nombreux exemples sont détaillés, facilitant une assimilation rapide du langage.
|
| Note de contenu : |
Sommaire:
Partie 1: PROGRAMMER EN CAML 1-Premiers pas 2-Récursivité 3-Programmation impérative 4-Fonctionnelles et polymorphisme 5-Listes 6-Les structures de données 7-Le docteur 8-Graphisme 9-Syntaxe abstraite, syntaxe concrète 10-Programmes indépendants et modules 11-Interfaces graphiques Partie 2: EXEMPLES COMPLETS 12-Démonstration de propositions 13-Compression de fichiers 14-Simulation d'un processeur 15-Compilation de mini-Pascal 16-Recherche de motifs dans un tex Partie 3: INTROSPECTION 17-Exécution d'un langage fonctionnel 18-Un synthétiseur de types 19-En guise de conclusion |
Exemplaires (2)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| F8/10 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
| F8/11 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
