2010, ISBN: 9786131509445

[ED: Softcover], [PU: Éditions universitaires européennes], 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… Meer...

[ED: Softcover], [PU: Éditions universitaires européennes], 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. 2010. 140 S. Versandfertig in 6-10 Tagen, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Offene Rechnung (Vorkasse vorbehalten)<

2010, ISBN: 6131509441

[EAN: 9786131509445], Neubuch, [PU: Éditions Universitaires Européennes], nach der Bestellung gedruckt Neuware - Printed after ordering - Cette thèse a pour but de présenter une catégorie… Meer...

[EAN: 9786131509445], Neubuch, [PU: Éditions Universitaires Européennes], nach der Bestellung gedruckt Neuware - Printed after ordering - 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. 140 pp. Französisch, Books<

2010, ISBN: 9786131509445

Editions universitaires europeennes, Taschenbuch, 140 Seiten, Publiziert: 2010-11-02T00:00:01Z, Produktgruppe: Buch, 0.48 kg, Programmiersprachen, Programmierung & Webdesign, Computer & I… Meer...

Editions universitaires europeennes, Taschenbuch, 140 Seiten, Publiziert: 2010-11-02T00:00:01Z, Produktgruppe: Buch, 0.48 kg, Programmiersprachen, Programmierung & Webdesign, Computer & Internet, Kategorien, Bücher, Ingenieurwissenschaft & Technik, Naturwissenschaften & Technik, Editions universitaires europeennes, 2010<