Short paper: evaluation of programs