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.
Dettagli libro
-
Editore
-
Testo originale
Sì -
Lingua
Francese -
Data di pubblicazione
-
Argomento