Back to Search

Utilisation Des Modes Directionnels Dans La Resolution

AUTHOR Oudot, Olivier
PUBLISHER Editions Universitaires Europeennes (11/02/2010)
PRODUCT TYPE Paperback (Paperback)

Description
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.
Show More
Product Format
Product Details
ISBN-13: 9786131509445
ISBN-10: 6131509441
Binding: Paperback or Softback (Trade Paperback (Us))
Content Language: French
More Product Details
Page Count: 140
Carton Quantity: 58
Product Dimensions: 6.00 x 0.33 x 9.00 inches
Weight: 0.47 pound(s)
Country of Origin: US
Subject Information
BISAC Categories
Computers | Languages - General
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
List Price $52.92
Your Price  $52.39
Paperback