Langage de spécifications

Langage de spécifications

Preuves de programmes et intelligence artificielle. Types. Syntaxe: état du langage, analyse syntaxique, extensions, inférence, apprentissage, performance de l'analyse syntaxique. Sémantique déductive. Utilisation-prolongements

Bibliographic Details
Main Author:	Caplain, Michel
Language:	FRE
Published:	1978
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation langages programmation automatique intelligence artificielle syntaxe analyse test interprétation
Online Access:	http://tel.archives-ouvertes.fr/tel-00288658 http://tel.archives-ouvertes.fr/docs/00/28/86/58/PDF/Caplain.Michel_1978_these.pdf

Similar Items

Réalisation d'un support expérimental de recherche pour le projet robotique PANDORE : définition et implantation du langage LM
by: Mazer, Emmanuel
Published: (1981)

Communication en langue naturelle avec un système d'aide à la conception d'assemblages physiques : un essai d'utilisation de réseaux sémantiques partitionnés
by: Lopez, Mauricio
Published: (1979)

Langages analysables de gauche à droite, construction d'un analyseur pour langages LR (1)
by: Courtin, Jacques
Published: (1968)

Définition du langage CASSANDRE : pour la conception aidée et la simulation des systèmes logiques, leur analyse, description et réalisation
by: Mermet, Jean
Published: (1970)

Un analyseur pré-syntaxique pour le levée des ambiguïtés dans des documents écrits en langue naturelle : application à l'indexation automatique
by: Merle, Alain
Published: (1982)

Les Types génériques : propositions pour un mécanisme d'abstraction dans les langages de programmation
by: Jacquet, Paul
Published: (1978)

Langages bornés arithmétiques
by: Butzbach, Philippe
Published: (1968)

Langage normalisé pour la description des informations médicales en radiologie
by: Duquesnel, Philippe
Published: (1969)

Algorithmes pour le traitement interactif des langues naturelles
by: Courtin, Jacques
Published: (1977)

Définition et implantation de la sémantique des langages de programmation
by: Willis, Bruce
Published: (1974)

Modèles et algorithmes pour la traduction automatique
by: Veillon, Gérard
Published: (1970)

Etude des possibilités d'interaction homme-machine dans un processus de traduction automatique : spécification d'un système d'aide à la rédaction en vue d'une traduction par machine, définition d'un langage de spécification linguistique
by: Zajac, Rémi
Published: (1986)

Le traitement des exceptions dans les programmes modulaires
by: Cristian, Flaviu
Published: (1979)

Etude de langages interprétables par une machine langage de haut niveau
by: Park, Seung Kyu
Published: (1982)

Preuves et stratégies pour la synthèse déductive de programmes
by: Potet, Marie-Laure
Published: (1988)

Conception et implantation d'un système de programmation de robots
by: Miribel, Jean-François
Published: (1984)

Etude d'éléments fondamentaux des langages de programmation : contrôle de l'utilisation des objets et primitives d'exécution
by: Bert, Didier
Published: (1973)

Unification d'arborescences : évaluation sémantique d'énoncés en langue naturelle
by: Joloboff, Vania
Published: (1978)

Représentations dynamiques de l'espace dans un langage déclaratif de simulation
by: Michel, Olivier
Published: (1996)

LASCAR : un langage pour la simulation et l'évaluation des architectures d'ordinateurs
by: Borrione, Dominique
Published: (1976)

Quelques programmes graphiques d'analyse numérique
by: Petit, Marc
Published: (1971)

Fonctions et généricité dans un langage de programmation parallèle
by: Hufflen, Jean-Michel
Published: (1989)

Contribution à la reconnaissance des structures syntaxiques en traduction mécanique
by: Auroux, Alain
Published: (1962)

Langages de description de systèmes logiques : propositions pour une méthode formelle de définition
by: Borrione, Dominique
Published: (1981)

Conception descendante de machine informatique : étude et définition du langage intermédiaire et d'une machine formelle multiprocesseurs orientée vers l'exécution du langage PASCAL
by: Fortier, Robert
Published: (1975)

Définition et utilisation des S-L graphes en démonstration automatique
by: Saya, Henri
Published: (1975)

Comparaison des comportements des processus communicants : application au langage FP2
by: Rogé, Sylvie
Published: (1986)

Reconnaissance en ligne de caractères alphanumériques manuscrits
by: Loy, Wee Wang
Published: (1981)

Aspects non numériques de la programmation algol
by: Nguyen, Huu Dung
Published: (1965)

Contribution à l'étude des modèles de colonne à distiller
by: Bornard, Guy
Published: (1971)

Vérification-correction de programme pour la prise en compte des incertitudes en programmation automatique des robots
by: Puget, Pierre
Published: (1989)

Raisonnement géométrique et méthodes de décision en robotique : application à la programmation automatique des robots
by: Laugier, Christian
Published: (1987)

Détermination automatique de relations linéaires vérifiées par les variables d'un programme
by: Halbwachs, Nicolas
Published: (1979)

Extensions syntaxiques dans un contexte LL(1)
by: Vidart, Jorge
Published: (1974)

Analyse du français comme langage de commande dans un système de construction graphique
by: De La Fayolle, Bruno
Published: (1976)

Constitution d'une base de références phonétiques pour la reconnaissance de mots isolés pour un système multi-locuteurs
by: Delia, Christine
Published: (1984)

Recherche d'ARN non-codants par réseaux de contraintes pondérées
by: Zytnicki, Matthias
Published: (2007)

MAS : réalisation d'un langage d'aide à la description et à la conception des systèmes logiques
by: Zachariades, Marianthi
Published: (1977)

Sémantique relationnelle des programmes non-déterministes et des processus communicants
by: Guerreiro, Pedro J. V. D
Published: (1981)

Processus communicants : un langage formel et ses modèles : problèmes d'analyse
by: Pereira-Fernandez, Juan Manuel
Published: (1984)

Cannot write session to /tmp/vufind_sessions/sess_r3r2ikhf4nkf51r8ot78alf67o