Author: E.. Vétillard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Book Description
Utilisation de declarations en programmation logique avec contraintes
Utilisation de déclarations en programmation logique avec contraintes
Author: Eric Vétillard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 446
Book Description
NOUS PROPOSONS ICI UNE EXTENSION DES LANGAGES DE PROGRAMMATION LOGIQUE AVEC CONTRAINTES (PLC), PAR L'INTRODUCTION DE DECLARATIONS DONNEES PAR L'UTILISATEUR. CES DECLARATIONS LUI PERMETTENT DE DONNER UNE SPECIFICATION PARTIELLE DES PROGRAMMES QU'IL ECRIT. CETTE SPECIFICATION PEUT ETRE UTILISEE TANT POUR LA MISE AU POINT DES PROGRAMMES QUE POUR L'AMELIORATION DE LEURS PERFORMANCES. APRES AVOIR DEFINI LE CADRE THEORIQUE DANS LEQUEL S'INSCRIVENT CES DECLARATIONS, NOUS PROPOSONS UNE METHODE STATIQUE POUR LEUR VERIFICATION, BASEE SUR UNE CLASSE PARTICULIERE DE MECANISMES DE PREUVE DE PROGRAMMES LOGIQUES PRESENTANT L'AVANTAGE D'ETRE EFFECTUES LOCALEMENT A CHAQUE REGLE. DE PAR LA NATURE DES LANGAGES DE PLC, CE MECANISME STATIQUE N'EST BIEN SUR PAS SUFFISANT, ET NOUS PROPOSONS EGALEMENT UN MECANISME COMPLEMENTAIRE DE VERIFICATION DYNAMIQUE DES DECLARATIONS. DANS UNE DEUXIEME PARTIE, NOUS ABORDONS LE PROBLEME DE LA REALISATION D'UN COMPILATEUR POUR LES LANGAGES DE PLC AVEC DECLARATIONS. NOUS NOUS ATTACHONS PARTICULIEREMENT A TRAITER QUELQUES POINTS DE CETTE COMPILATION, LA GENERATION DES VERIFICATIONS DYNAMIQUES, ETC NOUS PRESENTONS EGALEMENT QUELQUES ASPECTS DE LA COMPILATION DES LANGAGES DE PLC QUI PEUVENT ETRE AMELIORES PAR L'UTILISATION DE DECLARATIONS. ENFIN, NOUS PRESENTONS DES RESULTATS EXPERIMENTAUX MONTRANT LES AVANTAGES ET LES INCONVENIENTS PRATIQUES DE CETTE APPROCHE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 446
Book Description
NOUS PROPOSONS ICI UNE EXTENSION DES LANGAGES DE PROGRAMMATION LOGIQUE AVEC CONTRAINTES (PLC), PAR L'INTRODUCTION DE DECLARATIONS DONNEES PAR L'UTILISATEUR. CES DECLARATIONS LUI PERMETTENT DE DONNER UNE SPECIFICATION PARTIELLE DES PROGRAMMES QU'IL ECRIT. CETTE SPECIFICATION PEUT ETRE UTILISEE TANT POUR LA MISE AU POINT DES PROGRAMMES QUE POUR L'AMELIORATION DE LEURS PERFORMANCES. APRES AVOIR DEFINI LE CADRE THEORIQUE DANS LEQUEL S'INSCRIVENT CES DECLARATIONS, NOUS PROPOSONS UNE METHODE STATIQUE POUR LEUR VERIFICATION, BASEE SUR UNE CLASSE PARTICULIERE DE MECANISMES DE PREUVE DE PROGRAMMES LOGIQUES PRESENTANT L'AVANTAGE D'ETRE EFFECTUES LOCALEMENT A CHAQUE REGLE. DE PAR LA NATURE DES LANGAGES DE PLC, CE MECANISME STATIQUE N'EST BIEN SUR PAS SUFFISANT, ET NOUS PROPOSONS EGALEMENT UN MECANISME COMPLEMENTAIRE DE VERIFICATION DYNAMIQUE DES DECLARATIONS. DANS UNE DEUXIEME PARTIE, NOUS ABORDONS LE PROBLEME DE LA REALISATION D'UN COMPILATEUR POUR LES LANGAGES DE PLC AVEC DECLARATIONS. NOUS NOUS ATTACHONS PARTICULIEREMENT A TRAITER QUELQUES POINTS DE CETTE COMPILATION, LA GENERATION DES VERIFICATIONS DYNAMIQUES, ETC NOUS PRESENTONS EGALEMENT QUELQUES ASPECTS DE LA COMPILATION DES LANGAGES DE PLC QUI PEUVENT ETRE AMELIORES PAR L'UTILISATION DE DECLARATIONS. ENFIN, NOUS PRESENTONS DES RESULTATS EXPERIMENTAUX MONTRANT LES AVANTAGES ET LES INCONVENIENTS PRATIQUES DE CETTE APPROCHE
Programmation Logique Avec Contraintes
Author:
Publisher: Ed. Techniques Ingénieur
ISBN:
Category :
Languages : en
Pages : 9
Book Description
Publisher: Ed. Techniques Ingénieur
ISBN:
Category :
Languages : en
Pages : 9
Book Description
Programmation logique par contraintes
Author: François Fages
Publisher: Ellipses Marketing
ISBN: 9782729846138
Category :
Languages : fr
Pages : 183
Book Description
Publisher: Ellipses Marketing
ISBN: 9782729846138
Category :
Languages : fr
Pages : 183
Book Description
Resolution de contraintes sur les sequences en programmation logique avec contraintes
Interpretation abstraite en programmation logique avec contraintes
Analyses statiques en programmation logique avec contraintes
Contraintes ensemblistes et resolution multi-solveurs en programmation logique avec contraintes
Interprétation abstraite en programmation logique avec contraintes
Author: Christophe Lecoutre
Publisher:
ISBN:
Category :
Languages : fr
Pages : 257
Book Description
L'interpretation abstraite est une technique d'analyse statique qui permet d'analyser le comportement dynamique d'un programme. Dans cette these, nous proposons un modele generique d'interpretation abstraite applique a la programmation logique avec contraintes. Ce modele est compose d'une phase d'extension du domaine suivie d'une phase d'abstraction du calcul. L'extension du domaine consiste a integrer de nouvelles contraints au domaine d'un clp-langage et l'abstraction du calcul consiste a forcer la terminaison de la resolution old via l'utilisation conjuguee d'une technique de tabulation et d'operateurs de widening. Nous illustrons ce modele avec une application non triviale portant sur l'inference de types en polog. Pour cette analyse, l'extension du domaine correspond a l'integration de contraintes ensemblistes. Ainsi, les contraintes du langage obtenu portent a la fois sur les termes (ou arbres) finis et sur les ensembles. L'interet de cette combinaison est que les contraints sur les termes permettent de coder les dependances entre les variables et que les contraintes ensemblistes permettent de coder les structurs recursives et non deterministes.
Publisher:
ISBN:
Category :
Languages : fr
Pages : 257
Book Description
L'interpretation abstraite est une technique d'analyse statique qui permet d'analyser le comportement dynamique d'un programme. Dans cette these, nous proposons un modele generique d'interpretation abstraite applique a la programmation logique avec contraintes. Ce modele est compose d'une phase d'extension du domaine suivie d'une phase d'abstraction du calcul. L'extension du domaine consiste a integrer de nouvelles contraints au domaine d'un clp-langage et l'abstraction du calcul consiste a forcer la terminaison de la resolution old via l'utilisation conjuguee d'une technique de tabulation et d'operateurs de widening. Nous illustrons ce modele avec une application non triviale portant sur l'inference de types en polog. Pour cette analyse, l'extension du domaine correspond a l'integration de contraintes ensemblistes. Ainsi, les contraintes du langage obtenu portent a la fois sur les termes (ou arbres) finis et sur les ensembles. L'interet de cette combinaison est que les contraints sur les termes permettent de coder les dependances entre les variables et que les contraintes ensemblistes permettent de coder les structurs recursives et non deterministes.
METHODOLOGIES ET TECHNIQUES DE RESOLUTION DE PROBLEMES AVEC CONTRAINTES. APPLICATION EN PROGRAMMATION LOGIQUE AVEC OBJETS
Author: LAURENT.. CERVONI
Publisher:
ISBN:
Category :
Languages : fr
Pages : 227
Book Description
CETTE THESE SE PRESENTE TOUT D'ABORD COMME UNE ETUDE EXPLORATOIRE DES TECHNIQUES, DES METHODES ET DES SYSTEMES DE RESOLUTION DE PROBLEMES AVEC CONTRAINTES, BASEE SUR UN RETOUR D'EXPERIENCE INDUSTRIEL. DEVANT L'EMERGENCE, CES DERNIERES ANNEES, DE NOUVELLES TECHNIQUES OU OUTILS POUR RESOUDRE LES PROBLEMES FORTEMENT COMBINATOIRES, CE DOCUMENT SE PROPOSE DE RESTITUER PLUS PRECISEMENT LE CONTEXTE DE LA RESOLUTION DE CES PROBLEMES COMPLEXES EN: PASSANT EN REVUE LES APPROCHES DISPONIBLES, COLLECTANT LE MAXIMUM DE TECHNIQUES, LES COMPARANT; PRECISANT LES LIENS ENTRE RECHERCHE OPERATIONNELLE ET PROGRAMMATION PAR CONTRAINTES. UNE METHODOLOGIE REPONDANT DE MANIERE EFFICACE A CES PROBLEMES COMPLEXES (DITS AVEC CONTRAINTES) EST ALORS SUGGEREE. ENFIN, LA DERNIERE PARTIE ETUDIE LES PERSPECTIVES DE QUELQUES TECHNIQUES AU TRAVERS D'UNE STRUCTURE D'ACCUEIL EN PROGRAMMATION LOGIQUE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 227
Book Description
CETTE THESE SE PRESENTE TOUT D'ABORD COMME UNE ETUDE EXPLORATOIRE DES TECHNIQUES, DES METHODES ET DES SYSTEMES DE RESOLUTION DE PROBLEMES AVEC CONTRAINTES, BASEE SUR UN RETOUR D'EXPERIENCE INDUSTRIEL. DEVANT L'EMERGENCE, CES DERNIERES ANNEES, DE NOUVELLES TECHNIQUES OU OUTILS POUR RESOUDRE LES PROBLEMES FORTEMENT COMBINATOIRES, CE DOCUMENT SE PROPOSE DE RESTITUER PLUS PRECISEMENT LE CONTEXTE DE LA RESOLUTION DE CES PROBLEMES COMPLEXES EN: PASSANT EN REVUE LES APPROCHES DISPONIBLES, COLLECTANT LE MAXIMUM DE TECHNIQUES, LES COMPARANT; PRECISANT LES LIENS ENTRE RECHERCHE OPERATIONNELLE ET PROGRAMMATION PAR CONTRAINTES. UNE METHODOLOGIE REPONDANT DE MANIERE EFFICACE A CES PROBLEMES COMPLEXES (DITS AVEC CONTRAINTES) EST ALORS SUGGEREE. ENFIN, LA DERNIERE PARTIE ETUDIE LES PERSPECTIVES DE QUELQUES TECHNIQUES AU TRAVERS D'UNE STRUCTURE D'ACCUEIL EN PROGRAMMATION LOGIQUE