Spelling suggestions: "subject:"langages dde programmation"" "subject:"langages dee programmation""
11 |
Machines virtuelles pour langages applicatifs et langages acteur réalisation et programmation.Danvy, Olivier. January 1986 (has links)
Th.--Inform.--Paris 6, 1986.
|
12 |
Extraction de programmes dans le calcul des constructions /Paulin-Mohring, Christine, January 1900 (has links)
Th. univ.--Paris 7--Informatique, 1989. / 1989 d'après la déclaration de dépôt légal. Bibliogr. p. 226-228. Résumé en français.
|
13 |
Production de compilateurs à partir d'une description sémantique des langages de programmation : le système Perluette.Deschamp, Philippe, January 1900 (has links)
Th. doct.-ing.--Nancy, I.N.P.L., 1980. / Rés.
|
14 |
Génération et preuve de compilateurs basées sur une sémantique formelle des langages de programmation.Gaudel, Marie-Claude, January 1900 (has links)
Th.--Sci. phys.--Nancy--I.N.P.L., 1980.
|
15 |
Sémantique des liaisons nom-valeur : application à l'implémentation des lambda-langages.Durieux, Jean-Louis, January 1900 (has links)
Th.--Sci.--Toulouse 3, 1981. N°: 1008.
|
16 |
Fiabilité et sécurité des programmes : propositions autour d'un langage d'essai.Cunin, Pierre-Yves, January 1900 (has links)
Th.--Sci. math.--Nancy--I.N.P.L., 1979.
|
17 |
Notation et processus de traduction des langages symboliquesBolliet, Louis. Kuntzmann, Jean January 2008 (has links)
Reproduction de : Thèse d'Etat : sciences appliquées : Grenoble 1 : 1967. / Titre provenant de l'écran-titre.
|
18 |
LUSTRE un langage déclaratif pour le temps réel /Bergerand, Jean-Louis. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1986. / Titre provenant de l'écran-titre.
|
19 |
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.
|
20 |
Etude de langages interprétables par une machine langage de haut niveauPark, Seung Kyu. Schoellkopf, J.-P.. January 2008 (has links)
Reproduction de : Thèse de docteur-ingénieur : génie informatique : Grenoble, INPG : 1982. / Titre provenant de l'écran-titre. Bibliogr.
|
Page generated in 0.1111 seconds