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 |
- P.7
- Avant-propos
- P.17
- Chapitre 1. Introduction : spécialiser pour adapter
- P.33
- Chapitre 2. Préliminaires sur les langages et les programmes
- P.87
- Chapitre 3. Les grands principes de la spécialisation de programmes
- P.131
- Chaptitre 4. Techniques de spécialisation
- P.161
- Chapitre 5. Spécialisation hors ligne
- P.
- Chapitre 6. Un spécialisateur pour C : Tempo
- P.239
- Chapitre 7. Applications de la spécialisation
- P.281
- Bibliographie
- P.309
- Table des figures
- P.313
- Index