.

Fp2 (functional parallel programming) est un langage qui concilie programmation fonctionnelle et programmation parallèle a travers le formalisme des spécifications algébriques et des systèmes de réécriture. Dans le cadre du projet fp2, cette thèse a pour principal objectif de présenter la partie fonctionnelle, incluant la généricité et le traitement des exceptions. La généricité (paramétrisation d'une spécification) est traitée dans la première partie: nous rappelons les principes, étudions la sémantique, formalisons la compilation des opérateurs génériques en restant dans un cadre fonctionnel, et analysons les raccourcis de notation offerts aux utilisateurs. La deuxième partie est consacrée aux exceptions. Elles sont d'abord étudiées d'un point de vue opérationnel, puis nous en donnons une définition précise qui permet de ramener une présentation avec exceptions a une présentation avec sortes ordonnées. Cette définition assure l'existence d'une algèbre initiale et permet en outre de traiter les exceptions avec paramètres génériques. En troisième partie, sont présentées des méthodes de transformation de définitions fonctionnelles récursives en processus parallèles communicants. La généricité est utilisée pour formuler les hypothèses sur les définitions fonctionnelles, et nous montrons de plus comment simuler une pile de récursivité de profondeur arbitraire par des réseaux de processus dont la topologie est fixée statiquement

Le présent travail prend appui sur une synthèse de travaux déjà effectués dans l’équipe LaLIC (Langues,Linguistiques, Informatique, Cognition) ; il insiste sur l’articulation entre différents concepts, centrés sur la notion deréférentiel. Ma thèse fait partie d’une chaîne où sont approfondis certains concepts rendus de plus en plus opératoires.Mon travail prend appui sur les travaux sur le temps et l’aspect d’E. Benveniste, A. Culioli et J.-P. Desclés, enparticulier, il s’inscrit le développement de la théorisation du temps et de l’aspect entreprise par J.-P. Desclés et Z.Guentchéva. Dans cette approche, il existe cinq classes de concepts importants :1) Trois notions aspectuelles de base constitutives d’un procès : état, processus, événement ;2) Aspectualisation d’un procès sur un intervalle topologique d’instants ;3) Énonciation conceptualisée comme processus inaccompli ;4) Repérage par identification, différenciation et rupture ;5) Prise en compte de différents référentiels.Certains concepts avaient déjà reçus une formalisation rigoureuse. Au fil des analyses de plus en plus diversifiées, lanotion de référentiel est devenue de plus en plus importante dans le dispositif théorique et dans les descriptions associées.Il m’a donc été demandé de mieux préciser cette notion de référentiel en en proposant une approche formalisée quipermettrait ultérieurement des traitements informatiques. J’ai replacé cette notion dans le cadre théorique de latemporalité appréhendée par les langues en argumentant son introduction et en formalisant ses concepts. Afin de mieuxéprouver le caractère opératoire des concepts formalisés, il est apparu que leurs traductions dans un langage informatiquepermettraient de prouver leurs caractères réellement opératoires et de jeter des ponts solides orientés vers une utilisationopérationnelle des analyses linguistiques que nous proposons. / This dissertation support a synthesis of already accomplished works at the laboratory LaLIC(Languages, Linguistics, Informatics, Cognition) ; it emphasizes the articulation among different concepts, centered onthe notion of referential. My thesis forms a part of a chain where some rendered concepts are deepened more and moreoperatively. My work supports the works about the tense and the aspect of E. Benveniste, A. Culioli and J.-P. Desclés, inparticular, it is in line with the development of the theorization about the tense and the aspect proceeded by J.-P. Desclésand Z. Guentchéva. In this approach, there are five types of important concepts:1) Three basic aspectual notions constituent of a process (situation): state, process, event;2) Aspectualisation of a process (situation) on a topological interval of instants;3) Conceptualized enunciation as imperfective process;4) Reference by identification, differentiation and rupture;5) Recognition of different referentials.Some concepts are already received rigorous formalizations. Over the analyses being increasingly diversified, the notionof referential becomes more and more important in the theoretical plan and in the associated descriptions. It wasdemanded to me to improve the specification of this notion of referential while I proposed a formalized approach thatwould admit the computing treatments later. I put this notion within the theoretical framework of the temporality whichapprehended by the languages while arguing its introduction and while formalizing their concepts. To better perceive theoperative character of the formalized concepts, it was their translations in the computer language which enables to provetheir effectively operative characters and to dispose the solid link oriented towards an operational utilization of thelinguistic analyses that we propose.

Dans cette thèse, on présente un cadre qui associe la spécification algèbrique de types à l'algèbre de programme. La principale caractéristique de cette approche est fournie par les opérateurs génériques définissables par les utilisateurs qui donnent une grande puissance d'expression aux règles d'équivalence. En particulier, la structure de certains types est contenue implicitement dans des opérateurs génériques comme l'homomorphisme et l'homomorphisme «inverse». Les applications de cette algèbre de programmes typés incluent la preuve de programmes sans induction explicite, et les méthodes de transformation de programmes comme le «folding-unfolding»

Dans un premier temps, nous présentons des modèles permettant de décrire des systèmes de processus communicants, synchronisés par rendez-vous, ainsi que les différentes théories qui traitent le problème de la comparaison observationnelle. Nous abordons ensuite le problème à partir du langage FP2. Nous proposons une démarche qui permet de faire totalement abstraction des événements internes des processus et d'exprimer le comportement de communication des processus en n'utilisant que les événements de communication avec l'environnement. Enfin, une notion de contexte est définie et étudiée

Cette thèse traite des simulations multidomaines des écoulements en milieu poreux. Trois aspects sont abordés. Une étude est d'abord menée concernant une méthode de décomposition de domaines avec des maillages non-raccordés, utilisant des conditions d'interface de type Robin, pour les éléments finis mixtes. D'autre part, la méthode est implémentée en parallèle à l'aide du système parallèle OcamlP3l, écrit par des informaticiens dans le langage Ocaml. En OcamlP3l, l'utilisateur programme et débogue en séquentiel, puis obtient le code parallèle par une simple recompilation. Enfin, nous présentons un nouveau modèle d'écoulement dans un mileu poreux contenant de grandes fractures, avec des perméabilités très grandes et/ou très faibles. Dans ce modèle, les fractures sont traitées comme des interfaces entre sous-domaines. Une analyse théorique prouve l'existence et l'unicité de la solution, fournit une estimation d'erreur, qui est confirmée par des tests numériques.