This paper introduces a method of optimization in infinite-horizon economies based on the theory of correspondences. The proposed approach allow us to study time-separable and non-time-separable dynamic economic models without resorting to fixed point theorems or transversality conditions. When our technique is applied to the standard time-separable model it provides an alternative and straightforward way to derive the common recursive formulation of these models by means of Bellman equations.