Dynamic Programming: The Name (1984)
I try to call it inductive programming whenever possible. Because that's what it is: a programmatic form of proof by induction.<p>The analogy isn't exact (e.g. it could also refer to just recursion), but it's a lot more apt than "dynamic".