Academic literature on the topic 'LISP (langage de programmation)'

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

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é

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 developpement<br>This 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

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

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

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.

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

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

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élisme<br>PSILISP 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