Langage de spécifications

• 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

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