Identifiant pérenne de la notice : 211232629
Notice de type
Notice de regroupement
Note publique d'information : DEPUIS LES ANNEES 80 ON S'EST SOUVENT PENCHE SUR L'INTEGRATION DES STYLES DE PROGRAMMATION
EN LOGIQUE ET FONCTIONNELLE. LE LANGAGE MILES EST LE RESULTAT D'UNE TELLE FUSION.
IL EST OBTENU EN AJOUTANT A UN NOYAU LISP LES CONCEPTS D'UN LANGAGE DE PROGRAMMATION
EN LOGIQUE: LE NON-DETERMINISME, LES VARIABLES LOGIQUES ET L'UNIFICATION. L'AJOUT
DE VARIABLES LOGIQUES DANS UN LANGAGE APPLICATIF FAIT APPARAITRE DE NOUVEAUX OBJETS:
LES EXPRESSIONS GELEES. DANS CETTE THESE NOUS MONTRONS COMMENT CELLES-CI PERMETTENT,
GRACE A L'UNIFICATION, DE DEFINIR DES CONTRAINTES SEMBLABLES A CELLES DES CLP. DE
PLUS, NOUS VOYONS COMMENT ON PEUT DEFINIR, EN MILES, UN SYSTEME DE RESOLUTION GERANT
LES CONTRAINTES NUMERIQUES DU LANGAGE. DANS UN PREMIER TEMPS NOUS NOUS FOCALISONS
SUR LES CONTRAINTES D'EGALITE. NOUS ETUDIONS LES ALGORITHMES TRADITIONNELS DE RESOLUTION
DE SYSTEMES LINEAIRES ET MONTRONS COMMENT ILS DOIVENT ETRE MODIFIES POUR PERMETTRE
LE TRAITEMENT DE CONTRAINTES D'EGALITE SUR LES REELS. NOUS MONTRONS COMMENT NOUS POUVONS
IMPLANTER CES ALGORITHMES EN MILES POUR OBTENIR UN LANGAGE DE PROGRAMMATION LOGICO-FONCTIONNELLE
AUTORISANT UNE UTILISATION ACTIVE DES CONTRAINTES D'EGALITE NUMERIQUES. NOUS NOUS
INTERESSONS ENSUITE AUX CONTRAINTES D'INEGALITE NUMERIQUES DU LANGAGE. APRES AVOIR
MONTRE COMMENT UNE VERSION MODIFIEE DE L'ALGORITHME DU SIMPLEX POUVAIT ETRE UTILISEE
POUR RESOUDRE UN SYSTEME D'INEQUATIONS LINEAIRES DE MANIERE INCREMENTALE, NOUS EN
PROPOSONS UNE DEFINITION EN MILES POUR GERER LES CONTRAINTES D'INEGALITE. MUNI DE
CES DEUX SYSTEMES DE RESOLUTION LE LANGAGE MILES DEVIENT UN LANGAGE DE PROGRAMMATION
LOGICO-FONCTIONNELLE AVEC CONTRAINTES SUR LES REELS. IL PERMET D'ADOPTER LES STYLES
DE PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES ET FONCTIONNEL
paprika.idref.fr
data.idref.fr
Documentation
