- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 10 of 29 (0.18 seconds)| 1 |
Three tools for language processing BNF Converter, Functional Morphology, and Extract /Forsberg, Markus January 2007 (has links) (PDF)
Thesis : engineering : Göteborg, Chalmers University of Technology : 2007. / Notes bibliogr.
|
| 2 |
Évaluation paresseuse des filtrages avec priorité, application au langage ML... /Laville, Alain, January 1988 (has links)
Th.--Informatique--Paris VII, 1988. / Bibliogr. p. 125-127.
|
| 3 |
Machines virtuelles pour langages applicatifs et langages acteur réalisation et programmation.Danvy, Olivier. January 1986 (has links)
Th.--Inform.--Paris 6, 1986.
|
| 4 |
Validation sémantique dans les théories structurées application à un langage de programmation générique /Drabik, Pascal. Bert, Didier. Mossière, Jacques. Jorrand, Philippe. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 177-185.
|
| 5 |
CONTRIBUTION AUX RELATIONS ENTRE LES GRAMMAIRES ATTRIBUEES ET LA PROGRAMMATION FONCTIONNELLEDuris, Etienne. JOURDAN, MARTIN.. January 1998 (has links)
Thèse de doctorat : SCIENCES ET TECHNIQUES : Orléans : 1998. / 1 microfiche de 392 images ; 105x148 mm. Microed. du texte dactylogr. 1998ORLE2038. 115 ref.
|
| 6 |
Fonctions et généricité dans un langage de programmation parallèleHufflen, Jean-Michel. Jorrand, Philippe. Bert, Didier. Verjus, Jean-Pierre. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 223-234. Index.
|
| 7 |
La représentation algorithmique des dômes mouqarnas : du planaire au volumiqueSemlali, Anis January 2001 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
|
| 8 |
Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes MLBaro, Sylvain 10 July 2003 (has links) (PDF)
Pouvoir vérifier la conformité d'un programme avec sa spécification représente un enjeu important. On peut utiliser un assistant de preuve : un logiciel permettant la description du problème, la construction des preuves et leur vérification. Nous avons implémenté un système où l'utilisateur décrit la spécification du programme dans un formalisme logique ad hoc, donne le programme dans le sous-ensemble fonctionnel de ML (comprenant filtrage, définitions récursives et fonctions partielles), puis construit interactivement les preuves de correction nécessaires pour prouver la validité du programme.
|
| 9 |
Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs sémantiques, implantations et certification /Gava, Frédéric Loulergue, Frédéric January 2005 (has links) (PDF)
Thèse de doctorat : Informatique : Paris 12 : 2005. / Titre provenant de l'écran-titre. Bibliogr. p. 267-281.
|
| 10 |
Logiques, catégories et machines : implantation de langages de programmation guidée par la logique catégorique /Lafont, Yves, January 1988 (has links)
Th. univ.--Informatique--Paris VII, 1988. / Bibliogr. p. 123-124.
|
Page generated in 0.1838 seconds