Objets conditionnels et objets inconnus

Christèle Faure 1
1 SAFIR - Algebraic Formal Systems for Industry and Research
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : Pour rapprocher la forme des calculs effectués par les systèmes de calcul formel, des calculs faits à la main, et faciliter ainsi l'utilisation des systèmes de Calcul Formel, nous avons introduit deux nouvelles classes d'expressions. Les premières qualifiées de conditionnelles sont des objets multi-valués, qui permettent de décrire $abs (n)$ comme l'objet ``si $n\ge 0$ alors $n$ sinon $-n$''. Les secondes qualifiées d'inconnues (on en connaît le ``typé' mais pas la valeur) permettent d'exprimer ``soit $n$ un entier'' grâce à un mécanisme de typage. Cette étude a donné lieu à une implémentation en \AS-A In order to improve the expressivity of Computer Algebra Systems, we have introduced two new classes of expression. First, we defined multi-valued expressions called \it conditional\/ expressions, in order to express $abs (n)$ as the object ``if $n\ge 0$ then $n$ else $-n$''. Then we have specified a second class called unknown (elements whose values are unknown, but whose type is known) in order to enable declaration such as ``let $n$ an integer''. Examples of those two classes have been implemented in \AF CALCUL FORMEL / CALCUL SYMBOLIQUE / EXPRESSIONS CONDITIONNELLES / \A
Type de document :
Rapport
[Rapport de recherche] RR-2298, INRIA. 1994
Liste complète des métadonnées

https://hal.inria.fr/inria-00074375
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:10:51
Dernière modification le : samedi 27 janvier 2018 - 01:31:04
Document(s) archivé(s) le : mardi 12 avril 2011 - 16:48:00

Fichiers

Identifiants

  • HAL Id : inria-00074375, version 1

Collections

Citation

Christèle Faure. Objets conditionnels et objets inconnus. [Rapport de recherche] RR-2298, INRIA. 1994. 〈inria-00074375〉

Partager

Métriques

Consultations de la notice

63

Téléchargements de fichiers

98