Introduction to Program Schemas with applications to Program Slicing

Mike Laurence

A program schema is a representation of a class of programs which all have identical structure, but whose particular functions and predicates may differ. In this seminar the application of schemas to problems in program slicing will be discussed, and conditions ensuring the optimality of Weiser's static slicing algorithm will be given. Additionally, we will discuss dynamic slicing problems in terms of schemas.