ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 10/4 - 2004  - pp.83-118  - doi:10.3166/objet.10.4.83-118
TITRE
Les objets des mathématiques

RÉSUMÉ
Cet article présente les premiers développements du langage FoCal qui ont eu lieu entre 1998 et 2001 afin de concevoir un langage de programmation adapté à la conception et au développement de mathématiques sur ordinateur. En s'appuyant sur les différents traits du langage OCaml, nous avons développé un « modèle » de programmation original permettant à la fois de décrire et d'implanter des mathématiques dans le langage de programmation. Nous décrivons trois « paradigmes » de programmation basés respectivement sur les modules, les classes et les objets d'OCaml pour dégager le modèle FoCal. Ces concepts forment la base du langage FoCal, que nous présentons brièvement. Le langage FoCal offre un cadre pour programmer à la fois de manière concrète et abstraite.


ABSTRACT
This article presents the first developments of the FoCal language which took place between 1998 and 2001 in order to design a programming language adapted for designing and developing mathematics on computers. Based on different features of the OCaml programming lamguage we developed an original programming "model" enabling both to describe and implement mathematics inside a programming language. We describe three progamming "paradigms" based respectively on OCaml's modules. classes and objects in order to extract the FoCal odel. These concepts are the base of the FoCal programming language that we briefly present. The FoCalprogramming language offers a framework enabling both concrete and absract programming.


AUTEUR(S)
Thérèse HARDIN, Renaud RIOBOO

MOTS-CLÉS
mathématiques effectives, langages à object, OCaml.

KEYWORDS
effective mathematics, object oriented languages, OCaml.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (222 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier