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.
Book details
-
Publisher
-
Original text
Yes -
Language
French -
Publication date
-
Theme