Ingénierie de la spécialisation de programmes : 2 : Techniques avancées

Ingénierie de la spécialisation de programmes : 2 Techniques avancées

L'évaluation partielle, ou spécialisation de programmes, permet de rendre les programmes plus petits et plus rapides lorsque certaines entrées peuvent être connues à l'avance. L'ouvrage détaille diverses analyses de programmes et s'intéresse aux programmes incomplets, aux sous-pr...

Description complète

Détails bibliographiques
Auteur principal : Marlet Renaud (Auteur)
Format : Livre
Langue : français
Titre complet : Ingénierie de la spécialisation de programmes. 2, Techniques avancées / Renaud Marlet
Publié : Paris : Hermès science , impr. 2011, cop. 2011
Lavoisier
Description matérielle : 1 vol. (343 p.)
Collection : Collection Logique et programmation
Sujets :
Génie logiciel
Logiciels > Développement
Documents associés : Techniques avancées: Ingénierie de la spécialisation de programmes
Description
Résumé : L'évaluation partielle, ou spécialisation de programmes, permet de rendre les programmes plus petits et plus rapides lorsque certaines entrées peuvent être connues à l'avance. L'ouvrage détaille diverses analyses de programmes et s'intéresse aux programmes incomplets, aux sous-programmes spécialisés, à la spécialisation incrémentale ou de données. ©Electre 2014
Bibliographie : Bibliogr. [285]-301. Index
ISBN : 978-2-7462-3799-5