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 |
| LEADER | 02342cam a2200373 4500 | ||
|---|---|---|---|
| 001 | PPN156645890 | ||
| 003 | http://www.sudoc.fr/156645890 | ||
| 005 | 20211117055300.0 | ||
| 010 | |a 978-2-7462-3799-5 |b br. |d 85 EUR | ||
| 035 | |a (OCoLC)779702150 | ||
| 073 | 1 | |a 9782746237995 | |
| 100 | |a 20111128h20112011k y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a FR | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 200 | 1 | |a Ingénierie de la spécialisation de programmes |h 2 |i Techniques avancées |b Texte imprimé |f Renaud Marlet | |
| 210 | |a Paris |c Hermès science |c Lavoisier |d impr. 2011, cop. 2011 | ||
| 215 | |a 1 vol. (343 p.) |c ill. |d 24 cm | ||
| 225 | 2 | |a Collection Logique et programmation | |
| 339 | |a 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 | ||
| 320 | |a Bibliogr. [285]-301. Index | ||
| 359 | 2 | |p P. 9 |b Avant-propos |p P. 19 |b Chapitre 1. Précision des analyses de programmes |p P. 59 |b Chapitre 2. Réification : de la valeur au terme |p P. 87 |b Chapitre 3. Spécialisation de programmes incomplets |p P. 123 |b Chapitre 4. Exploitation de la spécialisation |p P. 149 |b Chapitre 5. Spécialisation incrémentale à l'exécution |p P. 185 |b Chapitre 6. Spécialisation des données |p P. 239 |b Chapitre 7. Perspectives scientifiques |p P. 269 |b Chapitre 8. Conclusion : du prototype au produit |p P. 285 |b Bibliographie |p P. 303 |b Table des figures |p P. 307 |b Index | |
| 410 | | | |0 156190168 |t Collection Logique et programmation |x 2256-9243 | |
| 452 | | | |0 184549124 |t Ingénierie de la spécialisation de programmes |h 2 |i Techniques avancées |f Renaud Marlet |c Paris |n Hermès science |n Lavoisier |d cop. 2011 |s Collection Logique et programmation |y 978-2-7462-4213-5 | |
| 606 | |3 PPN027673529 |a Génie logiciel |2 rameau | ||
| 606 | |3 PPN028909917 |a Logiciels |x Développement |2 rameau | ||
| 676 | |a 005.12 |v 22 |z fre | ||
| 700 | 1 | |3 PPN156189291 |a Marlet |b Renaud |4 070 | |
| 801 | 3 | |a FR |b Electre |c 20130706 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20150326 |g AFNOR | |
| 979 | |a SCI | ||
| 930 | |5 441092104:527350060 |b 441092104 |a 681.324 MAN-MAR |j u | ||
| 998 | |a 684283 | ||