Programming by writing the expected procedure, and the language does whatever process if finds best to achieve the result