Return to search

SYPAC : un système expérimental de calcul formel en Pascal

Réalisation d'un petit système de calcul formel en pascal, sur micro-ordinateur, systeme dénoté SYPAC pour système PASCAL d'aide au calcul formel. Pour décrire les algorithmes de SYPAC on utilise un langage de surface note PALDES pour PASCAL ALDES, dérivant du langage ALDES supportant les systèmes sac-1 et sac-2. On a écrit a partir de la grammaire ll(1) de PALDES un compilateur de ce langage, celui-ci engendre comme code du PASCAL minimal. SYPAC est un systeme modulaire dont la partie résidente est écrite en PASCAL, et les modules recouvrables en PALDES, actuellement deux modules sont implantes : le calcul en précision infinie et le calcul sur les polynômes de z (x). Sa portabilité est assurée par le fait que le PASCAL hôte et l'UCSD PASCAL, disponible sur presque tous les micro-ordinateurs du commerce. L'utilisation prévue de SYPAC est à finalité pédagogique pour l'enseignement secondaire.

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00300279
Date30 March 1982
CreatorsDi Scala, Robert-Michel
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0018 seconds