Relevant bibliographies by topics / Common LISP (langage de programmation)

Contents

  1. Dissertations / Theses
  2. Books

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

Author: Grafiati
Published: 4 June 2021
Last updated: 10 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Common 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.

Dissertations / Theses on the topic "Common LISP (langage de programmation)"

1

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 text
Abstract:
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 int
APA, Harvard, Vancouver, ISO, and other styles
2

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 text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

Recanati, Catherine. "Lambdix : un interprète LISP à liaison lexicale et évaluation paresseuse." Paris 11, 1986. http://www.theses.fr/1986PA112337.

Full text
Abstract:
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é
APA, Harvard, Vancouver, ISO, and other styles
4

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 text
Abstract:
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écriv
APA, Harvard, Vancouver, ISO, and other styles
5

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 text
Abstract:
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 ar
APA, Harvard, Vancouver, ISO, and other styles
6

Ploix, Damien. "Elaboration, réalisation et évaluation d'un environnement de programmation analogique." Paris 8, 1999. http://www.theses.fr/1999PA081532.

Full text
Abstract:
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 prog
APA, Harvard, Vancouver, ISO, and other styles
7

Braun, Gabriel. "Sur la programmation de constructions geometriques." Université Louis Pasteur (Strasbourg) (1971-2008), 1988. http://www.theses.fr/1988STR13061.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
9

Kharrazen, Essaïd. "PSILISP, un modèle d'interprétation parallèle de programmes LISP." Paris 11, 1986. http://www.theses.fr/1986PA112385.

Full text
Abstract:
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 lex
APA, Harvard, Vancouver, ISO, and other styles
10

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
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Common LISP (langage de programmation)"

1

Wertz, Harald. (Common) LISP: Une introduction à la programmation. 2nd ed. Masson, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Steele, Guy L. COMMON LISP: The language. 2nd ed. Digital Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Wertz, Harald. LISP: Une introduction à la programmation. Masson, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kabbaj, Adil. Intelligence artificielle en Lisp et Prolog. Masson, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Friedman, Daniel P. Le petit LISPien. Masson, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Berthold, Horn, ed. Lisp. 3rd ed. Addison-Wesley, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Abelson, Harold. Structure et interprétation des programmes informatiques. Inter Éditions, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

LISP, the language of artificial intelligence. Van Nostrand Reinhold, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Fladung, Bonnie J. The XLISP primer. Prentice-Hall, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Matthias, Felleisen, ed. The little LISPer. MIT Press, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources
You might also be interested in the extended bibliographies on the topic 'Common LISP (langage de programmation)' for particular source types:
Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography