Téléchargez le livre : Ingénierie de la spécialisation de programmes 2

Ingénierie de la spécialisation de programmes 2

Techniques avancées

de

Éditeur :

Hermés science


Collection :

Logique et programmation

Paru le : 2011-09-21



eBook Téléchargement ebook sans DRM
Lecture en ligne (streaming)
89,67 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l'avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l'écriture des programmes et leur maintenance.
La spécialisation de programmes, conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique.
Ce volume détaille une gamme étendue de précisions d'analyses de programmes, qui sont déterminantes sur le degré de spécialisation. Il étudie également les questions de réification et de spécialisation de programmes incomplets, d'ordinaire peu traitées mais pourtant capitales, et explore diverses manières efficaces d'exploiter un sous programme spécialisé.
Il décrit aussi la spécialisation incrémentale, notamment à l'exécution, et présente une puissante technique alternative de spécialisation, la spécialisation de données. Il apporte des perspectives scientifiques et industrielles.
Pages
344 pages
Collection
Logique et programmation
Parution
2011-09-21
Marque
Hermés science
EAN papier
9782746237995
EAN PDF SANS DRM
9782746242135
Informations sur l'ebook
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
89,67 €

Suggestions personnalisées