Sycors : un systeme d'aide a la programmation base sur une representation semantique d'enonces en langage pseudo-naturel

Sycors: an aid programming system based on semantic representation of pseudo natural texts

• Auteur / Autrice : Salem Djabali
• Direction : Charles-François Ducateau
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1988
• Etablissement(s) : Clermont-Ferrand 2

Mots clés

Mots clés libres

Sciences appliquees

Informatique, automatique theorique, systemes

These

Genie logiciel

Aide programmation

Environnement programmation

Synthese

Traitement langage

Analyse syntaxique

Thesis

Software engineering

Assisted programming

Programming environment

Synthesis

Language processing

Syntactic analysis

Résumé

Sont passees en revue les differentes approches de la synthese de programmes abordes a ce jour en commentant leurs capacites et leurs limitations: synthese a partir d'exemples, synthese a partir de traces de calculs, synthese a partir de specifications. Le role du langage prolog dans le traitement semantique des langues naturelles est presente. Le systeme propose utilise une grammaire logique qui, a partir d'un enonce pseudo naturel relatif a un domaine restreint, permet d'en construire la representation semantique qui se presente comme un veritable programme et ui peut etre traduite dans un langage de programmation par le biais d'un systeme a regles de reecriture