Nantilus
Ingénierie de la spécialisation de programmes : 1 Principes et applications
La spécialisation de programmes, ou évaluation partielle, est une technique générale destinée à rendre les programmes plus performants quand certaines entrées sont connues à l'avance. Présentation des grands principes de la spécialisation de programmes, des techniques de spécialisation et plus...
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Ingénierie de la spécialisation de programmes. 1, Principes et applications / Renaud Marlet |
| Publié : |
Paris :
Hermes science
, impr. 2011, cop. 2011 Lavoisier |
| Description matérielle : | 1 vol. (349 p.) |
| Collection : | Collection Logique et programmation |
| Sujets : | |
| Documents associés : | Principes et applications:
Ingénierie de la spécialisation de programmes |
| LEADER | 02301cam a2200373 4500 | ||
|---|---|---|---|
| 001 | PPN156188503 | ||
| 003 | http://www.sudoc.fr/156188503 | ||
| 005 | 20211117055300.0 | ||
| 010 | |a 978-2-7462-2101-7 |b br. |d 85 EUR | ||
| 035 | |a (OCoLC)779702445 | ||
| 073 | 0 | |a 9782746221017 | |
| 100 | |a 20111108h20112011k 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 1 |i Principes et applications |b Texte imprimé |f Renaud Marlet | |
| 210 | |a Paris |c Hermes science |c Lavoisier |d impr. 2011, cop. 2011 | ||
| 215 | |a 1 vol. (349 p.) |c ill. |d 24 cm | ||
| 225 | 2 | |a Collection Logique et programmation | |
| 339 | |a La spécialisation de programmes, ou évaluation partielle, est une technique générale destinée à rendre les programmes plus performants quand certaines entrées sont connues à l'avance. Présentation des grands principes de la spécialisation de programmes, des techniques de spécialisation et plus particulièrement de la spécialisation dite hors ligne. ©Electre 2014 | ||
| 320 | |a Bibliogr. [281]-308. Index | ||
| 359 | 2 | |p P.7 |b Avant-propos |p P.17 |b Chapitre 1. Introduction : spécialiser pour adapter |p P.33 |b Chapitre 2. Préliminaires sur les langages et les programmes |p P.87 |b Chapitre 3. Les grands principes de la spécialisation de programmes |p P.131 |b Chaptitre 4. Techniques de spécialisation |p P.161 |b Chapitre 5. Spécialisation hors ligne |p P. |b Chapitre 6. Un spécialisateur pour C : Tempo |p P.239 |b Chapitre 7. Applications de la spécialisation |p P.281 |b Bibliographie |p P.309 |b Table des figures |p P.313 |b Index | |
| 410 | | | |0 156190168 |t Collection Logique et programmation |x 2256-9243 | |
| 452 | | | |0 184546656 |t Ingénierie de la spécialisation de programmes |h 1 |i Principes et applications |f Renaud Marlet |c Paris |n Hermès science |n Lavoisier |d cop. 2011 |s Collection Logique et programmation |y 978-2-7462-4209-8 | |
| 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:527350044 |b 441092104 |a 681.324 MAN-MAR |j u | ||
| 998 | |a 684282 | ||