Utilisation Des Modes Directionnels Dans La Resolution

Name: Utilisation Des Modes Directionnels Dans La Resolution
Brand: Éditions universitaires européennes
SKU: 9786131509445
Price: 42.36 EUR
Availability: InStock

Autor: Olivier Oudot

Jazyk:

Väzba: Brožovaná

Vydavateľ: Éditions universitaires européennes

Dostupnosť: Skladom u dodávateľa

Odosielame za 8-11 dní

42.36 €

Cette thčse a pour but de présenter une catégorie particuličre de modes, les modes directionnels, et...

Informácie o knihe

Autor

Olivier Oudot

Jazyk

Francúzština

Väzba

Kniha - Brožovaná

Vydalo

2010

Stránok

140

EAN

9786131509445

ISBN

6131509441

Enbook ID

07037225

Vydavateľ

Éditions universitaires européennes

Hmotnosť

213

Rozmery

152 x 229 x 8

Kompletný popis

Cette thčse a pour but de présenter une catégorie particuličre de modes, les modes directionnels, et de mettre en évidence leur utilité pour l'optimisation de la résolution dans le langage Prolog. Ils se caractérisent essentiellement par le fait qu'ils permettent de distinguer les différentes utilisations possibles d'un męme prédicat. Ces modes offrent la possibilité d'améliorer le contrôle en modifiant la stratégie de résolution standard par réordonnancement statique des sous-buts des clauses. Dans certains cas, ils autorisent une transformation des programmes Prolog en programmes fonctionnels dont l'exécution est notoirement plus efficace. Ils permettent également diverses optimisations locales, dont notamment une grande spécialisation de l'algorithme d'unification en fonction des termes ŕ unifier. Un algorithme de production automatique de ces modes est décrit. L'étude est concrétisée par la réalisation du compilateur Starlog fonctionnant sur un cas particulier de modes directionnels. Les mesures de performances mettent en évidence l'intéręt pratique de cette technique.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Utilisation Des Modes Directionnels Dans La Resolution

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež