Conditions for Optimality and Strong Stability in Nonlinear Programs without assuming Twice Differentiability of Data