mémoïser

Définitions

1. 1. Conserver à la fin de l’exécution d’une fonction les arguments d’appel et le résultat associé, pour gagner du temps lors des futurs appels de cette fonction avec les mêmes arguments.
   ['Cette technique consiste à mémoïser dynamiquement les structures de données manipulées.', 'Je ne sais même pas comment écrire une fonction (ou méthode) Java qui prend une fonction (ou méthode) arbitraire et la modifie pour qu’elle soit désormais mémoïsée.', 'Fonction pour forcer l’évaluation, et mémoïser la matrice dans une structure concrète : ∀ n m (M : MX n m), mx_force M = M.']

Dérivés

Formes fléchies