1. A memoization system, comprising: an analysis component that analyzes program code; and a memo component that automatically and transparently memoizes a function in response to the analysis via code injection and function override.