To see the other types of publications on this topic, follow the link: LISP (langage de programmation).
Dissertations / Theses on the topic 'LISP (langage de programmation)'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'LISP (langage de programmation).'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Braun, Gabriel. "Sur la programmation de constructions geometriques." Université Louis Pasteur (Strasbourg) (1971-2008), 1988. http://www.theses.fr/1988STR13061.
Full textAbstract:
Definition d'une couche orientee objets sur lifs, facilitant l'implantation de connaissances geometriques. Presentation de la notion de "reseau de construction" permettant la definition de constructions geometriques de facon incrementale ou deductive, assurant la gestion automatique des contraintes en cas de modifications et autorisant certaines manipulations formelles plus elaborees. L'etat actuel du prototype developpe est presente
2
Recanati, Catherine. "Lambdix : un interprète LISP à liaison lexicale et évaluation paresseuse." Paris 11, 1986. http://www.theses.fr/1986PA112337.
Full textAbstract:
Lambdix est contrairement à lisp un langage fonctionnel d'ordre supérieur, de performances comparables. Son implantation développe une représentation arborescente des environnements qui permet de résoudre les problèmes liés au passage d'arguments fonctionnels. Cette gestion des environnements permet une implantation de l'appel "par nécessité
3
Ploix, Damien. "Elaboration, réalisation et évaluation d'un environnement de programmation analogique." Paris 8, 1999. http://www.theses.fr/1999PA081532.
Full textAbstract:
Cette these presente une methode originale de creation et d'utilisation de representations analogiques de programmes, notre environnement de programmation zeugma qui implemente cette methode et son evaluation par la presentation de representations analogiques de pro♭ grammes. Le systeme zeugma permet a l'utilisateur de construire ses propres representations de programmes, utilisant les analogies ou les metaphores qui lui sont familiere, de les experimen♭ ter sur des programmes qu'il a ecrits ou qui lui sont inconnus, puis de les utiliser comme nou♭ velles composantes d'un environnement de programmation. Notre methode de construction de representations analogiques de programme considere la mise en relation de caracteristiques des programmes, decrivant des aspects de leur composi♭ tion ou des aspects de leur comportement, avec des caracteristiques decrivant les representa♭ tions. Ainsi, des particularites syntaxiques, les flots de controle ou de donnees, les donnees ma♭ nipulees ou le code execute peuvent determiner des aspects tels que la forme, le placement, la taille ou encore la couleur d'une representation graphique analogique. La selection des caracte♭ ristiques utilisees s'effectuera en fonction du choix de son utilisation : par exemple la decou♭ verte de programmes inconnus, la recherche de parties necessitant une optimisation ou encore l'animation d'algorithmes. Nous presentons des exemples de representations analogiques illus♭ trant ces trois utilisations. Zeugma est l'unique systeme de visualisations de programmes qui implemente une me♭ thode de creation de representations analogiques permettant son utilisation autant comme outil de visualisation d'algorithme et de programmes que comme environnement de programmation integrant des representations graphiques. La perspective de notre travail est la construction d'un outil de programmation, integrant des representations analogiques, adapte aux interfaces homme - machines en developpementThis thesis presents an original method for the specification of analogical program representations, our programming environment. Zeugma, which is built upon this method and its evaluation through the presentations of some examples of analogical program representations. Zeugma offers users the opportunity to build their own program representations using their own familiar analogies or metaphors, to experiment them on programs and to use them as new components of a programming environment. Our method for analogical program representation specification considers the mapping, following analogical links, between aspects of the program's composition or behavior and characteristics describing representations. Thus, source code, control or data flow or run-time elements will determine characteristics of the generated represetation such as color, position, size, orientation and animation of objects present in a graphical scene. The selection of the characteristics used in a particular representation will depend on intended use as, for instance, giving help during the discovery of an unknow program, search for optimisation or algorithm animation. We will present examples of analogical representations illustrating these uses. Zeugma is the only program visualization system implementing a method to create analogical representations useful as well for program and for algorithm animation as for graphical programming environment. This research aims toward the construction of an integrated analogical programming environment adapted to interfaces actually under development
4
Vuong, Ingmar. "K. O. A. L. A. : un coprocesseur microprogrammable pour l'interprétation de LISP." Paris 11, 1986. http://www.theses.fr/1986PA112205.
Full textAbstract:
Exécuter la forme originale du programme lisp possède un certain nombre d'avantages, que l'on ne retrouve pas dans un schéma d'exécution qui inclut une phase de compilation. Une étude analytique du problème est présentée, mettant en évidence les limites de l'interprétation par rapport à la compilation: interpréter lisp n'est pas intrinsèquement plus lent que d'exécuter du code compile lisp, le facteur variant entre 0. 5 et 2. Cette étude est suivie par la définition d'une architecture minimale permettant d'implémenter efficacement la partie critique de l'interprète lisp: l'évaluateur. Cette architecture est particulière dans la mesure où l'accent est mis non pas sur la partie opérative mais sur la partie contrôle. Ces concepts ont été mis en pratique par la construction d'une maquette composée de circuits lsi et msi. L'originalité de la version actuelle réside dans le fait qu'elle se présente sous la forme d'un coprocesseur du mc68000, offrant ainsi l'avantage de pouvoir être facilement installée dans tout microordinateur base sur le mc68000. Cette réalisation à faible cout s'est montrée capable d'interpréter les programmes lisp avec un facteur de ralentissement variant de un à deux par rapport à l'exécution directe de code compile lisp sur un mc68000
5
Menegaux, Antoine. "Sampi : système d'aide à la maintenance des programmes interactif." Vandoeuvre-les-Nancy, INPL, 1988. http://www.theses.fr/1988NAN10394.
Full textAbstract:
L'outil présenté est un éditeur de graphes, l'interface avec l'utilisateur étant exclusivement réalisée sous forme textuelle : on manipule du texte source. Pour réaliser l'outil, un langage de manipulation textuelle a été défini. Ce langage est ensuite complété pour enrichir les fonctionnalités de l'outil. Enfin, le langage est exprimé sous la forme d'une syntaxe abstraite, pour permettre à l'utilisateur d'introduire ses propres concepts
6
El, Amrani Younès. "Génération automatique d'interfaces pour langages fonctionnels." Orléans, 1996. http://www.theses.fr/1996ORLE2074.
Full textAbstract:
Cette thèse est une étude sur l'extensibilité des langages fonctionnels dans les environnements multi-applicatifs. Elle présente un panorama de toutes les approches permettant cette extensibilité tant au niveau structurel des langages fonctionnels qu'au niveau des choix d'implantations de ces derniers. Les différentes techniques d'implantations y sont aussi passées en revue. Nous proposons dans cette thèse des techniques d'interfaçage efficaces, puissantes et produites automatiquement à l'aide d'un générateur. Ce générateur se distingue par sa portabilité maximale et par son aspect multicible. Un exemple complet d'une bibliothèque graphique munie d'un protocole pour des applications distribuées est pris pour illustrer les différents aspects de l'extensibilité. Une modélisation des différentes approches et une systématisation des méthodes proposées sont explicitées puis expérimentées.
7
Codani, Jean-Jacques. "Microprogrammation, architectures, langages à objets : NAS /." [Le-Chesnay] : Institut national de recherche en informatique et en automatique, 1988. http://catalogue.bnf.fr/ark:/12148/cb35000251h.
Full text
8
Gaetano, Marc. "Conception et réalisation d'un logiciel pour la manipulation formelle des polynoèmes en plusieurs indeterminées." Nice, 1986. http://www.theses.fr/1986NICE4072.
Full textAbstract:
Ce logiciel, baptisé Basta (base standard), est spécialement conçu pour expérimenter diverses implémentations de l'algorithme de calcul d'une base standard de polynômes, et de tous ses algorithmes dérivés (résolution d'équations polynomiales, manipulations de matrices a coefficients polynômes). Basta est écrit en CEYX, extension orientée objet de langage LE LISP (de l'INRIA), et il se caractérise principalement par les trois points suivants : élaboration et mise au point d'une nouvelle méthode de représentation des polynômes en plusieurs variables. Représentation des objets mathématiques dans un langage type, avec les notions de hiérarchie et d'héritage
9
Even, Christian. "Autour du lambda-calcul partiel." Lille 1, 1993. http://www.theses.fr/1993LIL10045.
Full textAbstract:
Cette thèse a pour objet l'étude des aspects syntaxiques, algébriques et catégoriques du lambda-calcul partiel, qui est un outil théorique pour étudier l'équivalence de programmes exécutées selon un mécanisme d'appel par valeur. En appliquant des techniques éprouvées dans le lambda-calcul pur et en les adaptant à ce calcul on a ainsi obtenu: 1) une preuve de la confluence pour un lambda-calcul partiel simplifie; 2) la caractérisation d'une classe de termes fortement normalisables par un système de types simples; 3) la caractérisation des termes égalisables à une valeur dans le lambda-calcul partiel comme conséquence de celle obtenue par un système de types dans le lambda-calcul par valeur, calcul antérieur et de même vocation que le précédent, mais moins expressif; 4) l'élaboration d'une notion d'algèbre combinatoire répondant à celle de modèle du lambda-calcul partiel et de la relation de cette notion avec la donnée d'une catégorie cartesienne fermée partielle munie d'un objet réflexif
10
Kharrazen, Essaïd. "PSILISP, un modèle d'interprétation parallèle de programmes LISP." Paris 11, 1986. http://www.theses.fr/1986PA112385.
Full textAbstract:
PSILISP comprend la définition d’un langage dérivé de LISP et d’une implémentation de ce langage sur une architecture multiprocesseur de type MIMD à mémoire partagée. Les principales caractéristiques de ce langage sont : portée lexicale des identificateurs, appel des arguments par valeur, évaluation parallèle explicite des arguments d’une application, primitives sans effet de bord. PSILISP étend LISP par l’introduction des « applications parallèles ». Leur évaluation se traduit par une exploitation massive des processeurs pour le calcul en parallèle des arguments. PSILISP utilise la portée lexicale. Ce choix permet d’éviter les défauts sémantiques caractérisant la plupart des implémentations actuelles de LISP. De plus, l’implémentation des environnements qui en résulte, se prête mieux à la gestion du parallélisme. PSILISP apporte une solution au problème du Funarg ascendant par rétention des environnements. Il en résulte que les fonctions sont des objets à part entière. L’expérience PSILISP montre qu’il est possible d’accroitre considérablement la vitesse d’exécution des programmes LISP par l’exploitation du parallélismePSILISP comprises the definition of a language derived from LISP and its implementation on an MIMD parallel architecture with shared memory. The main features of PSILISP are: lexically scoped variables, call by value, explicit parallel evaluation of the arguments of an application, primitives with no side effects. PSILISP language extends LISP by the new “parallel application” construct. Its evaluation leads to intensive use of the processors for the parallel computation of the arguments. PSILISP uses lexically scoped variables. This choice avoids the semantical defects that are common to the usual implementations of LISP. Furthermore, the implementation in this case lends itself better to the management of parallel evaluation. PSILISP brings a solution to the Funarg problem by environment retention. Functions become thus members of first class citizens. The PSILISP experience demonstrates that the efficiency of LISP programs can be increased considerably by use of the parallelism
11
Koukam, Abder. "Dérivation de programmes Ada par transformation de systèmes parallèles fondés sur la communication abstraite entre processus." Nancy 1, 1990. http://www.theses.fr/1990NAN10481.
Full textAbstract:
Le travail présenté dans cette thèse s'inscrit dans le cadre d'une démarche méthodique pour la construction de systèmes parallèles. L'idée de base est de définir de tels systèmes comme un ensemble d'entités manipulant des suites de données, entre lesquelles des relations dites de communication sont spécifiées. Pour concevoir les solutions déduites de cette démarche, un langage d'expression de systèmes parallèles est proposé. Ce langage est caractérisé par : une expression abstraite des relations de communication en termes de types abstraits algébriques appelés types de communication. Une conception modulaire fondée sur la séparation de la description des communications de l'écriture de processus. Notre premier objectif est d'élaborer une démarche pour automatiser la transformation des types ce communication en programmes Ada. Mais la distance est grande entre cette expression abstraite et statique de la communication et le programme final dynamique et efficace. Aussi avons-nous été conduit à décomposer le processus de transformation en plusieurs étapes fondées sur des règles de transformation. Deux classes de règles sont ainsi mise en évidence : les règles
12
Balmas, Françoise. "Contribution à la conceptualisation de programmes : modèle, implémentation, utilisation et évaluation." Paris 8, 1995. http://www.theses.fr/1995PA081071.
Full textAbstract:
Cette these propose un modele de caracterisation de l'activite des programmes. Tout programme est decrit selon l'ensemble des calculs qu'il effectue, ceux-ci etant classes en six categories admettant plusieurs variations. Actuellement, ce modele s'applique aux programmes integrant une seule boucle. La caracterisation d'un programme au travers du modele, ou schema, constitue l'explication globale de ce programme, celle-ci revelant sa structure algorithmique et permettant de le rattacher a un ensemble de stereotypes que les programmeurs experimentes connaissent bien. Le schema est egalement la specification abstraite d'un probleme a implementer, celle-ci etant alors representee sous une forme particulierement concise. La description conceptuelle est l'equivalent du programme resume par un schema dont elle est l'explication ou la specification complete. Sur la base des descriptions conceptuelles, trois systemes ont ete implementes: 1. Prisme calcule le schema et la description conceptuelle d'un programme ; il fournit donc une explication de ce programme qui aide a sa comprehension, 2. Signedit genere un programme a partir d'une description conceptuelle ; de ce fait, il introduit un style de programmation qui minimise les interventions du programmeur, 3. Acl est un langage de programmation qui propose d'utiliser les schemas comme primitives ; il integre ainsi des constructions de haut niveau d'abstraction qui favorisent le paradigme de la programmation conceptuelle. Ces systemes ont permis la validation du modele. En effet, pour environ cent cinquante programmes, le programme genere par signedit a partir de la description conceptuelle calculee par prisme est equivalent, en terme de calculs effectues, au programme original. Actuellement, ils sont intensivement utilises pour effectuer les experimentations necessaires a l'extension du modele, notamment vers un modele conceptualisant des programmes comportant plusieurs boucles.
13
Slimani, Yahya. "Structures de données et langages non-procéduraux en informatique graphique." Lille 1, 1986. http://www.theses.fr/1986LIL10002.
Full textAbstract:
La synthèse d'images fait partie des applications informatiques pour lesquelles on essaie de mettre en oeuvre des architectures et des logiciels répondant, le mieux possible, à deux contraintes principales qui sont l'espace mémoire et le temps de calcul. Devant cette situation, et après avoir analysé les besoins du graphique en matière de structures de données et d'algorithmique, notre travail est une approche par l'utilisation des langages applicatifs (type LISP) en graphique, sous deux aspects : 1- structure de donnée où nous proposons un nouveau modèle de donnée susceptible d'être utilisé pour représenter les objets graphiques, à savoir la structure de liste ; 2- algorithmique où nous montrons comment un des concepts fondamentaux des langages applicatifs (la récursivité) peut contribuer à une expression naturelle d'algoritmes graphiques
14
Marre, Daniel. "La programmation fonctionnelle parallèle : application à MaRS̱Lisp." Toulouse, INSA, 1992. http://www.theses.fr/1992ISAT0014.
Full textAbstract:
Cette these traite de la programmation fonctionnelle parallele explicite et de son application a l'aide de mars-lips, le langage applicatif paresseux et non type de mars, la machine a reduction parallele de graphe a memoiree partagee, concue et realisee au cert-onera. L'objectif de ce travail est la presentation et l'experimentation de methodes d'ecriture ou de parallelisation de programmes fonctionnels paralleles en mars-lips. Une premiere partie definit le cadre du travail et les outils utilises. Le premier chapitre presente les caracteristiques d'un langage fonctionnel pour son implementation sur une machine parallele et decrit les projets les plus significatifs du domaine. Le deuxieme chapitre detaille les caracteristiques de mars-lisp et de l'interprete parallele utilise. La deuxieme partie (chap. Iii) traite de la conception d'algorithmes paralleles et de la mise en uvre de trois paradigmes tres utilises: l'effet pipeline, diviser-pour-regner et l'usage des fonctions d'ordre superieur. Pour chaque paradigme, des exemples simples permettent d'analyser finement le comportement du programme. La troisieme partie (chap. Iv) developpe une methode manuelle de parallelisation de programme. Une modelisation des contextes par les projections permet une analyse de stricticite plus fine et une meilleure mise en uvre des heuristiques de parallelisation. Des outils simples d'optimisation et de transformation de programmes sont ensuite presentes. La derniere partie (chap. V) applique ces methodes sur des programmes consequents
15
Vidal, Didier. "Nouvelles notions de réduction en lambda-calcul : Application à la réalisation d'un langage fonctionnel fondé sur la réduction forte." Nancy 1, 1989. http://www.theses.fr/1989NAN10488.
Full text
16
Salomé, Jean-Christophe. "Gestion des contraintes temporelles pour le contrôle d'exécution d'un plan d'actions en robotique." Toulouse, ENSAE, 1985. http://www.theses.fr/1985ESAE0017.
Full textAbstract:
Analyse des problèmes rencontrés en génération de places. Construction d'un générateur de places. Représentation des connaissances pour des phénomènes réels. Stratégie pour un montage-démontage de pièces. Contrôle d'exécution. Problèmes de l'évitement d'obstacles.
17
Deslaugiers, Marina. "Conception et réalisation du module d'affichage d'un méta - décompilateur." Paris 7, 1985. http://www.theses.fr/1985PA07F049.
Full textAbstract:
Le CNET (Centre National d'Etudes des télécommunications) a lancé en 1982, un projet nommé "CONCERTO11 ayant pour mission la spécification d'un atelier logiciel multilangage. Il vise à optimiser et faciliter les diverses phases (conception, production, maintenance. . . ) liées au traitement des logiciels de télécommunications de complexité croissante et de volume important. L'étude présentée dans ce mémoire consiste en la conception et la réalisation d'une partie du META-DECOMPILATEUR de l'atelier, le MODULE D'AFFICHAGE, chargé d'afficher sur un terminal, sous forme lisible et esthétique, les informations traitées. A cette fin, nous concevons et réalisons un algorithme de gestion d'écran, indépendant du terminal utilisé, et affichait des données de type texte et langage de programmation, à partir de leur représentation arborescente. Il effectue une mise en page "intelligente" et respecte les contraintes de rapidité d'affichage, en s'aidant de langages puissants tels que Lisp et Ulysse
18
Spir, Eric. "Etude et implantation d'un glaneur de cellules adaptatif pour LISP." Paris 7, 1989. http://www.theses.fr/1989PA077117.
Full textAbstract:
Un module de gestion de la mémoire pour LISP écrit en LISP et portable sur des matériels standards (VAX, MC68000,. . . ), est présenté. Chaque tâche du gestionnaire mémoire a fait l'objet d'une étude bibliographique poussée afin de déterminer les solutions les plus satisfaisantes dans notre contexte. Souvent, une approche originale a été choisie. L'algorithme d'exploration est une synthèse des stratégies Mark 6 Sweep et Stop 6 Copy due à une publication de B. Lang et F. Dupont qui n'avait pas encore fait l'objet d'une implémentation. Le balayage de la zone des listes est incrémental et des optimisations algorithmiques de la fonction de balayage sont présentées et évaluées. La compaction des objets utilise simultanément deux techniques distinctes (algorithme de Jonkers et two fingers). Un mécanisme portable de génération est décrit. La ligne directrice de ce travail fut l'adaptation maximale du gestionnaire mémoire vis-à-vis de son environnement. En outre, un vaste panorama des techniques connues liées aux questions de gestion de la mémoire dans les langages de l'intelligence artificielle est présenté et analysé.
19
Cousin, Éric. "Compilation optimisée d'un langage fonctionnel pour une machine parallèle à réduction de graphe." Toulouse, ENSAE, 1991. http://www.theses.fr/1991ESAE0012.
Full textAbstract:
Cette thèse présente les mécanismes mis en œuvre pour compiler efficacement un langage fonctionnel non strict en un code combinatoire directement exécutable sur mars, un réducteur parallèle de graphes à mémoire partagée réalisé à l'ONERA-CERT. Nous décrivons d'abord brièvement les principes de fonctionnement de MaRS (langage fonctionnel, réduction parallèle de graphe, jeu de combinateurs indexes, architecture générale), ainsi que le point de départ de notre travail, un algorithme itératif permettant l'abstraction de toutes les variables en une seule passe. Nous montrons ensuite comment quelques modifications judicieusement apportées à cet algorithme d'abstraction améliorent de façon notable et même fondamentale la qualité du code généré. On diminue ainsi l'expansion dynamique et la taille du code; de plus, une gestion appropriée des différents modes d'évaluation permet une exploitation pertinente du parallélisme potentiel du programme, ainsi qu'une utilisation optimale des différentes ressources de la machine. Les mesures effectuées sur un simulateur de la machine mettent bien en évidence l'apport des optimisations proposées, et ce que ce soit en évaluation séquentielle ou en évaluation parallèle. Enfin, nous bâtissons un environnement logiciel permettant de gérer de façon incrémentielle les diverses dépendances existant entre les codes des différentes fonctions d'un programme. Les principes élaborés pour résoudre ce problème assez spécifique s'avèrent d'un intérêt beaucoup plus général.
20
Codani, Jean-Jacques. "Microprogrammation, architectures, langages a objets : n::(a)s." Paris 6, 1988. http://www.theses.fr/1988PA066648.
Full text
21
Barlatier, Patrick. "Conception et implantation d'un modèle de raisonnement sur les contextes basé sur une théorie des types et utilisant une ontologie de domaine." Chambéry, 2009. https://tel.archives-ouvertes.fr/tel-00678447.
Full textAbstract:
Dans ce mémoire, nous proposons une solution possible à la question suivante : comment formaliser des environnements associés à un processus (quelconque) et comment utiliser les informations qu'ils contiennent pour produire des actions pertinentes ? Cette question nous a amené à introduire la notion de contexte ainsi qu'une représentation réutilisable des connaissances pour le formaliser. Nous nous sommes donc intéressés aux notions d'ontologies, de contextes et d'actions. Pour la représentation et le raisonnement sur les contextes et les actions, nous proposons une solution appelée DTF. Celle-ci étend une théorie constructive des types existante permettant ainsi de disposer d'une grande expressivité, de la décidabilité de la vérification de types et d'un mécanisme de sous-typage efficace. Nous montrons comment modéliser les contextes et les actions sous la forme de types dépendants à partir des données fournies sur un problème et des actions à entreprendre pour le résoudre. Enfin, pour tester la faisabilité et pouvoir juger de la complexité d'une telle solution, un "démonstrateur de contexte" est réalisé avec un langage fonctionnel. Puis, une application test appelée " le monde du Wumpus " ou un agent logiciel se déplace dans un environnement inconnu, est alors implantée en LISPThis approach suggests à possible solution for the following issue : how to formalize environments related to a given process and how to exploit the information they provide in order to start appropriate actions? For that purpose, we took an interest in the concepts of ontologies, contexts and actions. We have investigated the constructive type theory and extended it with extensional sub-typing (allowing for type hierarchies) and constants to result in what is called the Dependent Type Framework (DTF). DTF tries to combine a constructive logic with a functional programming language for the representation and reasoning about context and actions. It provides a high expressiveness, decidability of type checking and a powerful sub-typing mechanism. We show how to model both contexts with types in DTF from the given information about à problem and actions to start to solve it. Then, as a test of feasibility with the purpose of sensing the complexity of such a solution, a context prover has been built with à functional language. Finally, a test application called the wumpus world in which a software agent moves across a grid in an unknown environment is implemented
22
Stransky, Jan. "Analyse sémantique de structures de données dynamiques avec application au cas particulier de langages LISPiens." Paris 11, 1988. http://www.theses.fr/1988PA112187.
Full textAbstract:
L'objectif est de présenter une méthode permettant d'obtenir par analyse sémantique du code source d'un programme, des informations sur ce que sera la structure des données dynamiques (c'est à "tas") à l'exécution de ce programme. Pour cela, dans un premier temps, un treillis de graphes spécialisés (les "h-graphes") est construit Nous montrons que chaque h-graphe est une approximation sémantiquement correcte d'un ensemble d'états possibles de la mémoire dynamique, et présentons les primitives abstraites correspondantes à quelques primitives classiques d'un langage LISPien. Dans un deuxième temps, la question de l'analyse d'un langage LISPien utilisant des fonctions récursives et la portée dynamique est abordée. Une méthode permettant de résoudre ce problème délicat est présentée, et les éléments nécessaires à une preuve de correction sémantique sont donnés. Dans un troisième temps, enfin, un analyseur de Le_Lisp utilisant nos techniques est présenté, et quelques exemples d'analyse sont fournis. Les idées nécessaires à une adaptation de nos méthodes pour l'analyse d'un langage PASCALien sont données dans la thèse.
23
Coustet, Christophe. "Parallélisation explicite de programmes fonctionnels et synchronisation de processus : application au modèle MaRS." Toulouse, ENSAE, 1993. http://www.theses.fr/1993ESAE0002.
Full textAbstract:
Cette thèse traite de la parallélisation dans le cadre fonctionnel et des interactions entre granularité, taux d'activité et rendement des processus. Le modèle servant de toile de fond à notre étude est MaRS (Machine à Réduction Symbolique) développé au CERT-ONERA qui se caractérise entre autres choses par des processus à coût particulièrement faible mais en nombre limité. L'objectif de cette thèse est de dériver par une critique constructive du modèle MaRS un nouveau modèle au champ d'application étendu. Pour cela une première partie est consacrée à la présentation du cadre fonctionnel et du modèle MaRS dont nous exhibons les caractéristiques les plus marquantes. La deuxième partie montre l'influence du coût d'accès aux données sur le taux de parallélisme effectif et expose l'implémentation performante sous forme combinatoire de diverses structures de données. La troisième partie traite de l'influence du taux d'activité des processus sur le taux de parallélisme effectif et étudie deux approches qui visent à augmenter le taux de parallélisme effectif en diminuant le taux d'attente des différents processus. Enfin, la quatrième partie analyse le paradigme pipe-line qui, bien qu'étant probablement le plus expressif et aisé à utiliser dont dispose le programmeur fonctionnel, s'avère un bien piètre outil de parallélisation de par la faible granularité des processus généralement engendrés. Une nouvelle approche de la synchronisation entre producteur et consommateur est proposée qui permet, tout en conservant intact l'aspect algorithmique du paradigme, de franchir ce cap de la granularité. Des exemples illustrent les différents mécanismes de synchronisation proposés et en particulier l'algorithme de recherche IDA*.
24
Coudron, Matthieu. "Nouvelles approches pour les communications multichemins." Electronic Thesis or Diss., Paris 6, 2016. http://www.theses.fr/2016PA066514.
Full textAbstract:
La dépendance des différentes infrastructures vis-à-vis du réseau Internet va croissant. D’abord la convergence des médias mais bientôt l’Internet des objets ou les véhicules autonomes peut-être vont contribuer à augmenter la criticité d’Internet. Il est donc important de résoudre les problèmes liés à l’infrastructure actuelle, en terme de passage à l’échelle, de confidentialité ou bien de fiabilité. Les communications multichemins font partie des possibilités pour attaquer ce défi. Pour autant la transition vers ces technologies n’est pas sans difficulté. En effet certains équipements bloquent les protocoles inconnus, empêchant ainsi l’émergence de nouvelles technologies. C’est un phénomène en partie responsable de l’ossification d’internet. D’autres considérations techniques limitent l’intérêt de recourir à des technologies multichemins dans certains cas, puisque celles-ci peuvent alors présenter des performances moindres que les technologies monochemins. Dans le cadre de cette thèse, nous proposons des réponses à certains de ces cas afin de maximiser le spectre d’application des technologies multichemins, en particulier du protocole Multipath TCP (MPTCP). Plus précisémement, après une revue détaillée du domaine des communications multichemins, nous proposons une réponse au problème de découverte des chemins. De plus, motivés par l’intuition que les ordonnanceurs peuvent s’appuyer sur les latences unidirectionelles, afin de lutter contre l’arrivé de paquets dans le désordre, nous proposons une technique qui ne modifie que l’envoyeur de données pour estimer cette métrique. En outre, nous proposons un outil qui maximise le débit tout en prenant en compte des politiques utilisateur par exemple pour forcer l’envoi d’une partie du trafic sur un chemin peu performant mais qui va coûter moins cher à l’utilisateur. Finalement, nous développons et évaluons un modèle de MPTCPThe criticity of the Internet keeps increasing with a very high number of services depending on its infrastructure. The Internet is expected to support services with an increasing tangible impact on the physical world such as the Internet of Things (IoT) or autonomous vehicles. It is thus important to address the current infrastructure shortcomings in terms of scalability, confidentiality and reliability. Multipath communications are one possible solution to address this challenge. The transition towards multipath technologies is not obvious, there are several challenges ahead. Some network devices block unknown protocols, thus preventing the emergence of new technologies, which plays a part in what is often referred to as the ossification of the Internet. Moreover, due to technical reasons, there are cases for which multipath technologies perform worse than their single path counterpart. In this thesis, we are interested in addressing some of these cases and limit their impact, so that multipath communications perform better than single path communications as often as possible. More specifically, we propose enhancements to Multipath TCP (MPTCP). After a detailed survey of multipath communications across all layers, we propose an answer as to the question of how many paths to use and how to ensure proper forwarding. Moreover, motivated by the intuition that packet arrival disorder can be mitigated by the knowledge of one way latencies, we propose a latency estimator with sender-side modifications only. Furthermore, as throughput maximization is in general solved regardless of the interface cost or user preferences, we elaborate a framework capable of presenting more complex strategies if for instance the user wants to enforce throughput even on less efficient paths. Finally, we develop and present a complete simulation model of MPTCP
25
Newton, Jim. "Representing and computing with types in dynamically typed languages." Electronic Thesis or Diss., Sorbonne université, 2018. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2018SORUS440.pdf.
Full textAbstract:
Cette thèse présente des techniques de génération de code liées à la vérification dynamique de types de séquences hétérogènes mais régulières. Nous généralisons les expressions rationnelles classiques aux expressions rationnelles de type, en adaptant leur surface syntaxique, représentation interne, calcul, optimisation, et sérialisation (génération de code). Nous comparons la forme native basée sur des S-Expressions avec une représentation par Diagrammes de Décision Binaire, enrichis pour représenter les opérations booléennes dans un treillis de types prenant en charge le sous-typage. Nous introduisons alors la notion de Décomposition Maximale en Types Disjoints, nous prouvons l'existence et l'unicité d'une telle décomposition, et nous explorons plusieurs solutions algorithmiques pour calculer celle-ci. La Décomposition Maximale en Types Disjoints est utilisée pour générer un automate fini et déterministe représentant une expression rationnelle de type. Cet automate est utilisé à la compilation pour générer à son tour du code de vérification dynamique de type. Le code ainsi généré ne tient a priori pas compte d'éventuelles redondances dans les vérifications de type. Nous étudions donc ces problèmes plus en détail et utilisons à nouveau la théorie des Diagrammes de Décision Binaire afin d'éliminer les calculs redondants et de produire ainsi du code optimisé. Le travail présenté dans cette thèse s'attache à traiter des problèmes de représentations et de calcul sur des types dans les langages dynamiquesThis thesis presents code generation techniques related to run-time type checking of heterogeneous but regular sequences. We generalize traditional regular expressions to accommodate surface syntax, internal representation, computation, optimization, and serialization (code generation) of rational type expressions. We explore traditional s-expression based representation contrasted with Binary Decision Diagrams which have been enhanced to represent Boolean operations in a type lattice supporting subtyping. We introduce the Maximal Disjoint Type Decomposition, prove the existence and uniqueness of a solution, and further explore several alternative algorithms for calculating it. The Maximal Disjoint Type Decomposition is used to generate a deterministic finite automaton representing a rational type expression, after which compile-time code is generated which will perform run-time type membership checks. Such code generation risks dealing with redundant type checks. We further investigate these potential problems and again use the theory of Binary Decision Diagrams to eliminate these redundant checks to produce optimized type checking code. The techniques and algorithms introduced and discussed in this thesis explore representations and computations dealing with type based computations in dynamic programming languages
26
Anota, Patrice. "Persistance et contrôle de concurrence dans les bases de données orientées objets." Compiègne, 1989. http://www.theses.fr/1989COMPD175.
Full textAbstract:
Les langages orientés objets dotés de mécanismes de stockage peuvent prétendre être le modèle idéal de la majorité des applications. Les langages traditionnels de représentation àa base de frame utilisés en intelligence artificielle sauvent des images mémoire entre les sessions. Nous avons décidé de développer une méthode de stockage de gros objets de longueur quelconque dont la structure est cachée du SGBD. La première partie de la thèse décrit l'implantation d'une telle méthode sur la machine LISP. Cela constitue une réflexion sur une méthode de représentation efficace d'un objet en mémoire et sur disque. Le principal problème d'une telle représentation est le compromis entre place mémoire et temps CPU; des représentations compactes exigeant un temps CPU plus important pour sauvegarder et reconstituer l'objet. La seconde partie de cette thèse traite des problèmes de partage d'objets dans les bases de données orientées objets. Une analyse a été faite sur l'impact du contrôle de concurrence sur des concepts fondamentaux comme l'héritage propre aux bases de données orientées objets. Aucune méthode de contrôle de concurrence n'est profondément adaptée pour les environnements interractifs ou les transactions peuvent être longues. Nous avons fait des comparaisons entre les deux alternatives: méthodes traditionnelles de contrôle de concurrence et nouvelles méthodes. A partir d'une analyse précise, nous sommes à même d'en distinguer les avantages et les inconvénients.
27
Li, Chumin. "Une étape dans la conception d'environnements intégrés d'objets." Compiègne, 1990. http://www.theses.fr/1990COMPD241.
Full textAbstract:
Notre thèse est qu'il est nécessaire et possible de développer un environnement unifié intégré, fondé sur la notion d'objet, qui peut à la fois gérer de nombreux objets de façon permanente et partagée, et accommoder un grand nombre de mécanismes de représentation, de programmation et de déduction. Le point de départ de nos travaux est le modèle ensembliste PDM (Property Driven Model) développé par Jean-Paul Barthès à l'UTC et le prototype VORAS du même auteur qui réalisait un des premiers SGBD orientés objets. Nous avons proposé des adaptations et des extensions à ce modèle pour en obtenir une variation qui a été ensuite implantée. Cette nouvelle implantation nommée XINHUO constitue la base de notre environnement intégré. L'implantation de XINHUO est réalisée en objets et messages. Le noyau du système se compose d'un ensemble d'objets primitifs crées au format du modèle PDM. Ceux-ci coopèrent pour créer d'autres objets en exécutant leurs méthodes. La gestion des objets est réalisée de la même manière. La création et la gestion des objets sont faites dans un contexte multi-utilisateurs. L'implantation du système XINHUO ne présente aucune différence par rapport à son utilisation. XINHUO est implanté en LISP. Pour laisser plusieurs utilisateurs lancer leurs programmes en parallèle dans notre environnement, nous avons développé un nouvel interpréteur LISP qui permet les calculs parallèles, en modélisant l'évaluation sous forme d'opérations élémentaires et en utilisant les mécanismes orientés objets. La puissance expressive de notre environnement a été démontrée par deux applications : la simulation de SMALLTALK et la simulation de l'interpréteur Prolog OBLOGIS par des objets et des méthodes XINHUO. D'autre part, nous avons réalisé ProQuery 2, une implantation efficace du modèle objet logique unifié de Gloess, dans le contexte industriel de G-Base, SGBD orienté objet de GRAPHAEL, conçu sur le modèle ensembliste PDM.
28
Abdulrab, Habib. "Résolution d'équations sur les mots : étude et implémentation Lisp de l'algorithme de Makanin." Rouen, 1987. http://www.theses.fr/1987ROUES013.
Full textAbstract:
Introduction de certaines notions et quelques améliorations et simplifications de l'algorithme de Makanin. L'objectif est de donner une nouvelle version poursuivant l'étude de cet algorithme et de réaliser une implémentation permettant de traiter des équations non triviales. Proposition d'un système interactif écrit en Lisp fonctionnant sur VAX 780 sous UNIX et sur machine Lisp. Ce système permet de visualiser les équations en position de l'arborescence, calculer une solution de l'équation à résoudre et fournit un outil permettant de comprendre, expérimenter et étudier cet algorithme
29
Coudron, Matthieu. "Nouvelles approches pour les communications multichemins." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066514/document.
Full textAbstract:
La dépendance des différentes infrastructures vis-à-vis du réseau Internet va croissant. D’abord la convergence des médias mais bientôt l’Internet des objets ou les véhicules autonomes peut-être vont contribuer à augmenter la criticité d’Internet. Il est donc important de résoudre les problèmes liés à l’infrastructure actuelle, en terme de passage à l’échelle, de confidentialité ou bien de fiabilité. Les communications multichemins font partie des possibilités pour attaquer ce défi. Pour autant la transition vers ces technologies n’est pas sans difficulté. En effet certains équipements bloquent les protocoles inconnus, empêchant ainsi l’émergence de nouvelles technologies. C’est un phénomène en partie responsable de l’ossification d’internet. D’autres considérations techniques limitent l’intérêt de recourir à des technologies multichemins dans certains cas, puisque celles-ci peuvent alors présenter des performances moindres que les technologies monochemins. Dans le cadre de cette thèse, nous proposons des réponses à certains de ces cas afin de maximiser le spectre d’application des technologies multichemins, en particulier du protocole Multipath TCP (MPTCP). Plus précisémement, après une revue détaillée du domaine des communications multichemins, nous proposons une réponse au problème de découverte des chemins. De plus, motivés par l’intuition que les ordonnanceurs peuvent s’appuyer sur les latences unidirectionelles, afin de lutter contre l’arrivé de paquets dans le désordre, nous proposons une technique qui ne modifie que l’envoyeur de données pour estimer cette métrique. En outre, nous proposons un outil qui maximise le débit tout en prenant en compte des politiques utilisateur par exemple pour forcer l’envoi d’une partie du trafic sur un chemin peu performant mais qui va coûter moins cher à l’utilisateur. Finalement, nous développons et évaluons un modèle de MPTCPThe criticity of the Internet keeps increasing with a very high number of services depending on its infrastructure. The Internet is expected to support services with an increasing tangible impact on the physical world such as the Internet of Things (IoT) or autonomous vehicles. It is thus important to address the current infrastructure shortcomings in terms of scalability, confidentiality and reliability. Multipath communications are one possible solution to address this challenge. The transition towards multipath technologies is not obvious, there are several challenges ahead. Some network devices block unknown protocols, thus preventing the emergence of new technologies, which plays a part in what is often referred to as the ossification of the Internet. Moreover, due to technical reasons, there are cases for which multipath technologies perform worse than their single path counterpart. In this thesis, we are interested in addressing some of these cases and limit their impact, so that multipath communications perform better than single path communications as often as possible. More specifically, we propose enhancements to Multipath TCP (MPTCP). After a detailed survey of multipath communications across all layers, we propose an answer as to the question of how many paths to use and how to ensure proper forwarding. Moreover, motivated by the intuition that packet arrival disorder can be mitigated by the knowledge of one way latencies, we propose a latency estimator with sender-side modifications only. Furthermore, as throughput maximization is in general solved regardless of the interface cost or user preferences, we elaborate a framework capable of presenting more complex strategies if for instance the user wants to enforce throughput even on less efficient paths. Finally, we develop and present a complete simulation model of MPTCP
30
Lafourcade, Mathieu. "Génie logiciel pour le génie linguiciel." Phd thesis, Université Joseph Fourier (Grenoble), 1994. http://tel.archives-ouvertes.fr/tel-00005104.
Full textAbstract:
Cette thèse concerne l'étude de différentes techniques modernes de génie logiciel qui peuvent être mises en ¦uvre pour développer des systèmes de Traitement Automatique des Langues Naturelles de façon générique et extensible. La première partie fait le point sur l'état de l'art en TALN à propos des Langages Spécialisés pour la Programmation Linguistique et permet d'identifier l'intégrabilité, l'extensibilité et la généricité comme trois qualités qu'il est souhaitable de fournir aux systèmes de TALN. La définition d'un modèle à objets (LEAF) et l'affinage d'un modèle d'architecture (tableau blanc) constituent deux premiers éléments de réponse au problème de l'intégration. Une première approche de la généricité et de l'extensibilité est également présentée avec une expérience de réingéniérie du langage LT. La seconde partie approfondit les problèmes de généricité et les illustre avec la définition d'un langage original de représentation linguistique (DECOR). L'introduction de protocoles internes et externes permet de rendre ce langage particulièrement générique et dynamique. La troisième partie fait état de la réingériérie de deux langages spécialisés (ATEF et ROBRA). Cette expérience permet d'introduire une grande extensibilité dans les moteurs de ces langages par une programmation par objets et protocoles. Une question transverse à ces trois parties concerne l'identification des limites et des écueils liés à la recherche de l'intégrabilité, de l'extensibilité et de la généricité. Ces difficultés viennent principalement de la complexité croissante des protocoles adéquats, dont la maîtrise pourrait rapidement échapper au développeur si l'on n'y prend garde.
31
Scalabrin, Edson Emílio. "Conception et réalisation d'environnement de développement de systèmes d'agents cognitifs." Compiègne, 1996. http://www.theses.fr/1996COMPD948.
Full textAbstract:
Les systèmes à base de connaissances sont devenus très complexes à cause de leur volume et de leur diversité, et leur maintenance est difficile. L'approche multi-agent offre actuellement un certain nombre de possibilités pour améliorer la structuration, la modularité et l'évolution de ces systèmes. Toutefois, le développement effectif d'un SMA présente un grand nombre de difficultés. En effet, on souffre de l'absence de modèle d'agent générique, d'un certain flottement concernant les niveaux des protocoles (confusion des niveaux et absence de normes). De plus, la distribution effective sur des machines distinctes est difficile, les problèmes liés à l'asynchronisme (programmation événementielle), et les problèmes de reconfiguration dynamique ajoutent à la complexité de réalisation de tels systèmes. Dans ce travail nous montrons qu'il est possible de réaliser un environnement de développement de systèmes d'agents permettant de réduire ces difficultés. De plus, un tel environnement peut être organisé de façon à être utilisé à la fois par des non spécialistes, mais aussi par des experts. Pour l'utilisateur non spécialiste, nous proposons un langage simple de création d'agents (conservant la puissance des langages sous-jacents), une gestion automatique des protocoles, une gestion automatique de l'asynchronisme, et un modèle d'agent générique à partir duquel les agents réels peuvent être clonés. Le spécialiste, lui, pourra exercer un meilleur contrôle, par exemple pour changer le comportement d'un agent en redéfinissant certains mécanismes de base. Notre proposition s'appuie sur le concept d'objets et nous nous plaçons dans le cadre de la programmation orientée-objets (langage OSS) avec comme langage sous-jacent Common Lisp. Dans cet environnement nous réutilisons plusieurs approches comme : le modèle OMG CORBA, permettant d'utiliser des langages hétérogènes, notamment autres que Lisp ; le modèle de Contract-Net, que nous avons modifié pour en tirer un protocole de distribution des tâches qui, par son principe de fonctionnement, améliore la prise de décision du côté du manager en réalisant une allocation de taches progressive et utilisant plusieurs niveaux de priorité. Enfin, pour faciliter le développement des agents d'un système, nous proposons aussi des outils de mise au point, qui permettent, d'une part de tracer les échanges à l'aide d'un agent particulier qui examine tous les messages qui passent sur le réseau et construit une représentation virtuelle du système à l'aide d'icônes et de texte, d'autre part de tester le comportement d'un agent en cours de définition en mode simulé, sous le contrôle strict du concepteur avant de l'installer après validation, après quoi il devient réellement autonome. La plate-forme développé, OSACA, a été testée et est actuellement utilisée dans plusieurs autres projets : MEMOLAB, DIDE.
32
Saint-James, Emmanuel. "De la meta-recursivite comme outil d'implementation." Paris 6, 1987. http://www.theses.fr/1987PA066612.
Full textAbstract:
Il est montre comment il est possible et pourquoi il est souhaitable d'implementer un langage de programmation exclusivement par autointerpretation. En effet, il est montre qu'un sous ensemble d'un langage de programmation peut etre considere comme sa propre machine virtuelle, et que l'acces interactif au code source du systeme donne au langage une clarte et une puissance d'expression inegalees. Cette technique, nommee metarecursivite, a ete utilisee pour mettre en oeuvre le systeme meta lisp, operationnel sur plusieurs machines
33
Claisse, Harry. "Structures chainées et environnement paginé." Compiègne, 1987. http://www.theses.fr/1987COMPI270.
Full textAbstract:
Cette thèse est orientée vers les problèmes de structures de pointeurs. La première partie est consacrée à la recherche des éléments qui résultent de décisions de conception pouvant influencer l'efficacité de l'exécution de LISP dans un environnement paginé. Le problème se résume en une recherche de la réduction du nombre de défauts de pages. Nous utilisons pour cela un ensemble de mesures qui permettent de cerner les points cruciaux tels que : structure de l'espace virtuel, espace de travail, ramasse-miettes. Nous étudions plusieurs méthodes de stockage des symboles (chaînes de caractères permettant de repérer toute entité) pour en évaluer leurs performances. Toutes les conclusions tirées sont mises en application directement sur l'interrogation d'une base de données en exploitation l'UTCThis thesis discusses problems related to pointer data structures. The first part is concerned with results of design decisions that can influence execution efficiency in a paged LISP environment. The main problem can be summarized as a continuing search to reduce the number of page faults. Measurements are used to distinguish crucial points such as structure of core memory, working set sizes and garbage collection. We study several storage implementations of symbols (strings of characters identifying each entities) and we evaluate their performances. The conclusions are applied directly to query data base a used at UTC
34
Andary, Philippe. "Optimisation d'emplois du temps par recuit simulé. Algorithmique des algèbres de Lie libres." Rouen, 1996. http://www.theses.fr/1996ROUES001.
Full textAbstract:
Cette thèse est constituée de deux parties totalement indépendantes. La première partie est consacrée à la réalisation d'un logiciel de calcul automatique d'emploi du temps optimal, par la méthode du recuit simulé. Le premier chapitre introduit la théorie probabiliste sous-jacente : les chaînes de Markov hétérogènes. Puis nous donnons les principaux résultats permettant de valider cette méthode. Dans le second chapitre, nous présentons le logiciel qui a été développé en Common Lisp Object System, sur machine Lisp. Nous formalisons tout d'abord le problème des emplois du temps, puis nous décrivons, dans ce cadre, notre adaptation de l'algorithme du recuit simulé. Nous donnons enfin les différentes classes abstraites qui captent les propriétés et comportements des diverses entités du problème, ainsi que les méthodes associées à ces classes d'objets. La deuxième partie de ce travail est une contribution à l'algorithmique dans les algèbres de Lie libres. Le premier chapitre introduit les éléments nécessaires à la compréhension du sujet : mots de Lyndon, factorisation de Lyndon d'un monoïde libre, base de Lyndon d'une algèbre de Lie libre. Nous donnons aussi un moyen de calcul de la multiplicité d'un mot apparaissant dans le développement d'un polynôme de Lie dans l'algèbre associative libre. Dans le second chapitre, nous nous intéressons d'une part à la génération de la base de Lyndon dans l'ordre lexicographique par longueur, et, d'autre part, à la génération d'une classe d'évaluation quelconque des mots de Lyndon. Notre réponse au premier problème est basée sur un algorithme de Duval (1988) que nous adaptons pour notre propos. Nous proposons ensuite un algorithme récursif, basé sur la génération de certaines compositions d'entiers, comme solution au second problème. Pour clore ce chapitre, nous donnons un algorithme de génération des mots de Lyndon maximaux (par rapport à l'ordre lexicographique sur les mots de Lyndon) dans leur classe d'évaluation.
35
Алексахіна, Тетяна Олексіївна, Татьяна Алексеевна Алексахина, Tetiana Oleksiivna Aleksakhina, and A. Krivodub. "La langage de programmation." Thesis, Вид-во СумДУ, 2009. http://essuir.sumdu.edu.ua/handle/123456789/16780.
Full text
36
Cisneros, Gascon Maria del Pilar Jorrand Philippe. "Programmation parallèle et programmation fonctionnelle propositions pour un langage /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00311709.
Full text
37
Moal, Frédéric. "Langage de biais en apprentissage symbolique." Orléans, 2000. http://www.theses.fr/2000ORLE2051.
Full textAbstract:
L'extraction de connaissances dans les bases de données (ECD) est un domaine de recherche actuellement très actif. Une problématique importante pour l'ECD est l'apprentissage supervisé, dont le but est de trouver une définition en intension d'un concept représenté par un ensemble d'exemples étiquetés comme appartenant ou non à ce concept. Dans un contexte relationnel, cette tâche, pour des raisons à la fois théoriques et pratiques, nécessite l'utilisation de biais pour adapter l'algorithme d'apprentissage aux caractéristiques du problème considéré. Nous proposons un cadre unifié et déclaratif pour la spécification et l'exploitation des biais sur l'espace des hypothèses. Notre approche repose sur la définition d'un nouveau formalisme, qui raffine les grammaires d'arbres par un langage de contraintes. Nous montrons notamment que ce formalisme permet de définir l'espace des hypothèses par unions et intersections de biais. Nous nous intéressons ensuite à l'exploration d'un tel espace, en étudiant deux approches, l'une déterministe et l'autre stochastique. Dans la première, nous proposons une nouvelle définition des opérateurs de raffinement sur les clauses utilisés en programmation logique inductive. Cette définition utilise explicitement l'espace des hypothèses et les biais, ce qui permet un élagage optimal lors de la recherche. Nous appliquons cette approche à l'ECD, en utilisant la structure de la base de données pour optimiser la base de recherche. Notre deuxième approche repose sur les algorithmes d'évolution. Nous montrons que le formalisme des grammaires d'arbres avec contraintes est particulièrement adapté à la spécification des biais en programmation génétique. Il étend en effet l'expressivité des formalismes existants, permet de modéliser les biais sur la population initiale, et de contrôler la validité des descendants lors des opérations génétiques. Nous proposons d'appliquer ce nouveau cadre pour l'induction de concepts exprimés en algèbre relationnelle.
38
Faucher, Colette. "Elaboration d'un langage extensible fondé sur les schémas : le langage Objlog+." Aix-Marseille 3, 1991. http://www.theses.fr/1991AIX30039.
Full textAbstract:
L'objet de cette these est l'elaboration d'un langage extensible fonde sur les schemas et bati sur prolog, objlog+, dans lequel la notion de schema fait reference a une simple structure de donnees a trois niveaux champ-aspect-valeur, a laquelle aucune semantique du type schema generique/schema specifique n'est associee a priori. A chaque categorie du savoir peut etre associee une categorie de schemas dont la semantique est definie explicitement a posteriori. Les categories suivantes sont predefinies: schemas parametres, schemas non parametres, filtres, prototypes, instances, filtres parametres, etc. . . Objlog+ est entierement auto-referent, c'est-a-dire que toutes ses entites de base sont reifiees, en particulier les donnees specifiques de prolog, ce qui confere a objlog+ une certaine independance vis-a-vis de celui-ci. Objlog+ est extensible a la fois sur le plan structurel et sur le plan comportemental. Sur le plan structurel, il est possible de definir de nouvelles categories de schemas, ainsi que de nouveaux aspects dont la structure de controle est prise en charge automatiquement par le systeme. Sur le plan comportemental, la reification des messages permet de definir de nouveaux types d'envois de messages en tant que methodes. Enfin, objlog+ est implemente a l'aide d'un gestionnaire d'objets complexes ecrit en c, qui prend en charge le stockage et l'acces aux schemas d'objlog+, codifies sous forme d'objets du gestionnaire
39
Chauveau, Dominique. "Étude d'une extension du langage synchrone SIGNAL aux modèles probabilistes : le langage SIGNalea." Rennes 1, 1996. http://www.theses.fr/1996REN10110.
Full textAbstract:
L'absence d'outils ergonomiques pour le traitement de systemes stochastiques complexes, comme on peut en trouver dans de nombreuses applications industrielles, a conduit le projet epatr de l'irisa a envisager la realisation d'une extension du langage de programmation signal pour la manipulation de systemes hybrides stochastiques/non-stochastiques. Developpe depuis une dizaine d'annees par le projet epatr, le langage signal est un langage flot de donnees de type equationnel, appartenant a la famille des langages synchrones et destine a la specification de systemes reactifs temps-reel. Une interface graphique integree a l'environnement signal permet de specifier des programmes de facon modulaire et hierarchique sous la forme de boites interconnectees. L'extension de signal aux modeles aleatoires, que l'on appelle signalea, doit permettre la specification de systemes complexes faisant intervenir des composantes aleatoires et des composantes de nature symbolique. Elle doit egalement fournir a l'utilisateur des methodes efficaces de simulation (simulation rapide d'evenements rares,) et d'estimation (reconnaissance de formes, diagnostic,) generees automatiquement a partir de la specification de depart. La definition de signalea a des le debut souleve des problemes mathematiques complexes, dont une etude approfondie a conduit a la definition du formalisme mathematique css. Le modele css ne s'interesse qu'aux cas ou le systeme etudie met en jeu un nombre fini de variables. Les objets de base de ce modele sont des systemes hybrides stochastiques/non-stochastiques. Nous definissons sur ces systemes une generalisation de la regle de bayes qui nous permet d'obtenir des methodes de simulation et d'estimation incrementales se rapprochant assez fortement des travaux de a. P. Dempster et g. Shafer en statistique et intelligence artificielle sur les fonctions de croyance et reseaux de croyance. La version de signalea que nous presentons dans ce document est sur une generalisation du langage signal qui permet d'inclure des bulles de type css. Elle donne la possibilite de specifier tout systeme dynamique aleatoire de type automate stochastique, ou hidden markov model (hmm). Dans le cas booleen, le calcul des primitives intervenant pour la simulation bayesienne a ete implemente en utilisant des techniques bdd (binary decision diagram). Enfin, nous apportons un element nouveau au modele css qui est la prise en compte de la hierarchie des systemes dans les algorithmes de simulation et d'estimation incrementales
40
Dekoker, Sylvain. "Alma : un langage de programmation d'agents cognitifs." Paris 6, 2012. http://www.theses.fr/2012PA066076.
Full textAbstract:
Cette thèse s'intéresse à la programmation d'agents cognitifs. Devant les grandes difficultés que l'on rencontre pour concevoir, réaliser et maintenir des systèmes informatiques de plus en plus complexes, nous pensons que ce paradigme peut apporter des réponses. Grâce à des concepts proches de notre manière de penser, cela ouvre la porte à de nouvelles solutions. L'état d'esprit dans lequel les systèmes multi-agents nous plongent, nous guide vers une modularité différente : plus explicite, plus déclarative, mieux adaptable et plus robuste. Nous pensons que ce paradigme ne se développera pas à sa juste valeur tant qu'un langage de programmation l'incarnant n'aura pas réussi à s'imposer. Et c'est pour aller dans ce sens que ce travail a été accompli. Il nous semble indispensable pour des agents cognitifs de pouvoir raisonner à partir d'informations incomplètes, de gérer des contradictions, et de raisonner sur les actions possibles dans ce contexte. Nous avons conçu une solution basée sur du raisonnement hypothétique. Nous montrerons dans cette thèse les impacts de ce choix sur les différentes composantes des agents : la révision de leurs croyances, l'écriture et génération automatique de leurs plans, la gestion des plans en cours d'exécution, et le rétablissement d'un comportement cohérent de l'agent. La contribution de cette thèse est le langage de programmation d'agents ALMA qui intègre ces différents aspectsThis thesis is about cognitive agents programming. We think this paradigm is an answer to the issues raised in designing, implementing and maintaining complex software systems. Concepts used in multi-agents systems are close to our natural way of thinking. This leads us to some new kind of solutions which are more declarative, adaptable and robust. We believe this paradigm will reach its true value only with the help of dedicated programming languages. This is the underlying goal of this thesis. Cognitive agents need to have a reasoning based on incomplete information. They also need to be able to manage contradictions, and to anticipate the possible actions from this situation. We have designed a solution based on hypothetical reasoning. We will show the consequences of this choice on the components of the agent architecture. The first consequence is the integration of an assumption based belief revision process. Then, we will show how plans are programmed, managed and how a consistent behavior is restored when beliefs have changed. And lastly we will show how we integrate an automated planning mechanism relying on a dynamic belief base. The contribution of this thesis is this agent programming language ALMA that has all those features
41
Jaber, Ghaleb. "Le langage pascal/relationnel : un langage de programmation de bases de donnees." Toulouse 3, 1987. http://www.theses.fr/1987TOU30222.
Full textAbstract:
Presentation du langage pascal/relationnel construit a partir de pascal par adjonction de constructions venant du domaine des bases de donnees ainsi que la conception et l'implantation du traducteur du langage. Les instructions relationnelles sont inspirees du calcul des predicats et permettent les operations classiques offertes par les systemes de gestion de bases de donnees relationnelles
42
Jaber, Ghaleb. "Le Langage PASCAL/relationnel un langage de programmation de bases de données /." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37606132q.
Full text
43
El, Mokhtari Mounir. "Contribution à l'intégration de C++ et de Prolog à travers la machine abstraite de Warren : le système cop-compilé." Sherbrooke : Université de Sherbrooke, 1997.
44
Morel, Eric. "Environnement de programmation parallèle : application au langage Prolog." Phd thesis, Université Joseph Fourier (Grenoble), 1996. http://tel.archives-ouvertes.fr/tel-00346188.
Full textAbstract:
Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sans mémoire commune dans le cadre du projet PLoSys (Parallel Logic System). L'exécution exploite le parallélisme de manière implicite. Le système repose sur un modèle OU multiséquentiel. Le partage de l'état d'exécution est assuré par copie des données. Le langage Prolog supporté est complet, et intègre les effets de bord classiques du langage. La gestion parallèle fait l'objet d'une étude complète pour préserver la compatibilité avec l'exécution séquentielle du langage Prolog. En particulier, une méthode originale est présentée pour la gestion parallèle des effets de bord. Enfin, ce document présente la réalisation d'un prototype portable, ainsi que l'analyse des résultats obtenus
45
Dabrowski, Frederic. "Programmation Réactive Synchrone, Langage et Contrôle des Ressources." Phd thesis, Université Paris-Diderot - Paris VII, 2007. http://tel.archives-ouvertes.fr/tel-00151974.
Full textAbstract:
La notion de système réactif désigne des systèmes qui maintiennent uneinteraction permanente avec un environnement donné. La famille des
langages synchrones regroupe un des langages de programmation
dédiés à la conception de tels systèmes. De manière générale, ces langages
permettent de décrire le comportement de composants parallèles qui
s'exécutent de manière synchrone, relativement à une horloge logique sur
laquelle repose un mécanisme de diffusion instantanée de l'information.
La conception de ces langages permet un ordonnancement statique des composants
parallèles et une compilation des programmes vers du code séquentiel, des
automates à états finis ou des circuits. En contrepartie, les contraintes
imposées sur ces langages limitent leur utilisation à des domaines très
spécifiques. La programmation réactive désigne un paradigme de programmation
qui repose sur une relaxation de ces contraintes. Ce paradigme de
programmation, inspiré plus particulièrement par le langage Esterel, propose
un type de programmation concurrente plus général ayant pour objectif la
réalisation, par exemple, de controleurs "event driven", d'interfaces graphiques
, de simulations physiques, de service web et de jeux multi-joueurs.
Ce document porte sur la notion de logiciel sur dans le cadre de la
programmation réactive.
Dans la première partie, nous nous intéressons à la question du
controle statique des ressources nécessaires à l'exécution d'un programme
pour une algèbre de processus synchrone inspirée par le paradigme réactif.
Dans la seconde partie, nous nous intéressons à la question de
l'utilisation de la programmation réactive pour le développement
d'applications adaptées aux architectures multicores.
Plus précisèment, nous nous reposerons sur une analyse statique
des programmes permettant d'étendre dans un cadre plus générale
(vrai concurrence) les avantages d'une approche purement coopérative
de l'ordonnancement des threads choisie par plusieurs implémentations
de langages basés sur le paradigme réactif.
46
Dabrowski, Frédéric. "Programmation réactive synchrone : langage et contrôle des ressources." Paris 7, 2007. http://www.theses.fr/2007PA077140.
Full textAbstract:
Les systèmes réactifs maintiennent une interaction permanente avec un environnement. Les langages synchrones (une famille de langages dédiée à la conception de ces systèmes) permettent la description de comportements parallèles s'exécutant de manière synchrone, relativement à une horloge logique associée à une diffusion instantanée de l'information. La conception de ces langages permet une compilation des programmes vers du code séquentiel, des automates à états finis ou des circuits. Toutefois, les contraintes imposées pour atteindre ce but limitent l'utilisation de ces langages à des domaines très spécifiques. La programmation réactive désigne un paradigme de programmation basé sur une relaxation de ces contraintes. Inspirée plus particulièrement par le langage Esterel, elle permet la programmation, e. G. , de contrôleurs "event driven", d'interfaces graphiques, de simulations physiques, de services web et de jeux multi-joueurs. Ce document, divisé en deux partie, porte sur la notion de logiciel sûr dans le cadre de la programmation réactive. Dans la première partie, nous traitons de la question du contrôle statique des ressources nécessaires à l'exécution des programmes d'une algèbre de processus synchrone inspirée par le paradigme réactif. Dans la seconde partie, nous nous intéressons à la programmation d'architectures multicores. Nous proposons une discipline de programmation, imposée par une analyse statique, qui permet d'étendre à un cadre plus général les avantages de l'approche purement coopérative (ordonnancement) choisie par plusieurs langages basés sur le paradigme réactifReactive System continuously interact with an environment. Synchronous languages (a family of languages dedicated to the design of such Systems) are used to describe parallel behaviours running in a synchronous way, with respect to a logical clock associated to an instantaneous broadcast of the information. The design of those languages enables a compilation of programs to sequentiel code, finite state automata or circuits. Yet the constraints set on their design to reach this goal restrict their use to very specific fields. Reactive programming is a paradigm based on a relaxation of those constraints. More precisely, il is inspired by the Esterel language and may be used for programming, e. G. , event driven controllers, graphical user interfaces, physical simulations, web services and multi-player games. This document, split into two parts, deals with the notion of safety in the framework of reactive programming. In the first part, we consider the issue of controlling, by means of a static analysis, the resources needed to run programs of a synchronous process algebra inspired by the reactive paradigm. In the second part, we are interested in programming multicore architectures. We propose a programming discipline, enforced by a static analysis, which extends to a more general framework the advantages of the purely cooperative approach (scheduling) used in various languages based on the reactive paradigm
47
Morel, Eric Briat Jacques. "Environnement de programmation parallèle application au langage Prolog /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00346188.
Full text
48
Morel, Éric. "Environnement de programmation parallèle : application au langage Prolog." Grenoble 1, 1996. https://theses.hal.science/tel-00346188/.
Full textAbstract:
Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sans mémoire commune dans le cadre du projet PLoSys (Parallel Logic System). L'exécution exploite le parallélisme de manière implicite. Le système repose sur un modèle OU multiséquentiel. Le partage de l'état d'exécution est assuré par copie des données. Le langage Prolog supporté est complet, et intègre les effets de bord classiques du langage. La gestion parallèle fait l'objet d'une étude complète pour préserver la compatibilité avec l'exécution séquentielle du langage Prolog. En particulier, une méthode originale est présentée pour la gestion parallèle des effets de bord. Enfin, ce document présente la réalisation d'un prototype portable, ainsi que l'analyse des résultats obtenus
49
Blay-Fornarino, Mireille, and Anne-Marie Pinna. "Un modèle objet logique et relationnel : le langage Othelo." Nice, 1990. http://www.theses.fr/1990NICE4359.
Full textAbstract:
Cette thèse a pour but d'intégrer dans un système unique certains résultats de la programmation par objets, de la programmation en logique et de la programmation par relations. Ce système est alors capable de modéliser les connaissances du monde extérieur dans un formalisme permettant de les manipuler symboliquement. Cette thèse est constituée de trois parties principales. Définition d'un modèle objet abstrait dans lequel les opérations élémentaires sous-jacentes aux mécanismes mis en œuvre dans un langage à objets (création, héritage, envoi de message) sont redéfinissables par un programmeur. Un langage issu de ce modèle peut autoriser : la création d'objets de structures internes différentes pouvant communiquer entre eux ; la définition de modes d'héritage complexes ; l'expression des exceptions et des cas particuliers. Apports d'inférence déclarative au modèle objet. Le langage Othello est une implantation en Prolog du modèle abstrait dans laquelle les principaux mécanismes ont été reconsidérés afin d'attribuer aux objets des comportements logiques. Citons : la définition de méthodes polymorphes, l'envoi de message à objets anonymes, des combinaisons et du contrôle sur les méthodes dans un graphe d'héritage et des capacités intrinsèques à raisonner. Aspect relationnel de la connaissance. L’idée est d'utiliser l'approche objet pour décrire un langage de relations et ainsi faciliter l'expression des relations de dépendance et le maintien automatique de leur cohérence. Une des originalités de cette proposition est la prise en compte des modifications intervenant sur l'objet maitre pour rétablir de façon incrémentale la cohérence. Les liens de la hiérarchie proposée permettent de décrire les relations d'héritage et d'implanter une interface graphique. Une quatrième partie illustre ce travail par une application en thermique
50
Hufflen, Jean-Michel Jorrand Philippe Bert Didier Verjus Jean-Pierre. "Fonctions et généricité dans un langage de programmation parallèle." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00335698.
Full text