A translator framework for Dynamic Programming problems