Principled Control Of Approximate Programs