Définition de mémoïser | Babel Free

Définitions

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.

Équivalents

Exemples

“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.”

Niveau CECR