Conception et compilation du langage ampere 2 : langage modulaire pour la programmation physique

par HAFID SIDHOUM

Thèse de doctorat en Sciences appliquées

Sous la direction de LOUIS FRECON.

Soutenue en 1991

à Villeurbanne, INSA .

    mots clés mots clés


  • Résumé

    Le langage ampere 2, a l'instar d'ampere, est destine a accroitre la clarte et la fiabilite des programmes scientifiques a dominante physique. Pour cela, il integre la rigueur de l'analyse dimensionnelle, la gestion automatique des unites de mesure et la puissance du calcul en intervalles. Avec l'adoption des identificateurs eclates, ampere 2 repond au probleme de l'evolution du langage face aux demandes des utilisateurs. Pour favoriser les developpements logiciels importants, nous avons inclus au langage ampere 2 la notion de composant logiciel (module) ainsi qu'une genericite des types physiques. La combinaison de ces mecanismes rend reutilisable certaines parties d'une application sous forme de bibliotheque, en garantissant la fiabilite d'appel mais sans instanciation. Enfin, nous avons retenu pour ampere 2 le concept des environnements, grace auquel l'utilisateur peut enrichir le contexte local, permettant le partage inter-projets d'une application, d'ou une grande clarte au niveau conceptuel. Le langage a ete defini en collaboration avec des physiciens pour mieux prendre en compte leurs desiderata. Le memoire presente est consacre d'abord a la discussion detaillee d'ampere 2. Il traite ensuite de la realisation sous unix du compilateur correspondant; son developpement en let a surtout facilite l'analyse semantique


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 36 REF

Où se trouve cette thèse ?

  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.