Langage de spécifications

Description

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

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00288658
2. http://tel.archives-ouvertes.fr/docs/00/28/86/58/PDF/Caplain.Michel_1978_these.pdf

Tags

langages

programmation

automatique

intelligence artificielle

syntaxe

analyse

test

interprétation

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00288658
Date	20 December 1978
Creators	Caplain, Michel
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	habilitation ࠤiriger des recherches