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.
Détails du livre
-
Éditeur
-
Texte original
Oui -
Langue
Français -
Date de publication
-
Thème