HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

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
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074375
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 3:10:51 PM
Last modification on : Friday, February 4, 2022 - 3:16:29 AM
Long-term archiving on: : Tuesday, April 12, 2011 - 4:48:00 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

25

Files downloads

72