Nantilus
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...
| Auteur principal : | |
|---|---|
| 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 : | |
| Documents associés : | Techniques avancées:
Ingénierie de la spécialisation de programmes |
- P. 9
- Avant-propos
- P. 19
- Chapitre 1. Précision des analyses de programmes
- P. 59
- Chapitre 2. Réification : de la valeur au terme
- P. 87
- Chapitre 3. Spécialisation de programmes incomplets
- P. 123
- Chapitre 4. Exploitation de la spécialisation
- P. 149
- Chapitre 5. Spécialisation incrémentale à l'exécution
- P. 185
- Chapitre 6. Spécialisation des données
- P. 239
- Chapitre 7. Perspectives scientifiques
- P. 269
- Chapitre 8. Conclusion : du prototype au produit
- P. 285
- Bibliographie
- P. 303
- Table des figures
- P. 307
- Index