Title: The study and application of the static and dynamic evaluation of  source programs