WG211/M3Kamin

Sam Kamin

Title: Partial evaluation of static analyses for programs with holes

Speaker: Sam Kamin

Slides: talk.ppt

Abstract:

Suppose we are given a program with holes. Another program (a "plug") is to fill the hole at run time. Once the hole is plugged and a complete program obtained, we would like to perform some static analysis. Can we statically perform a partial analysis on the program and the plug so that the analysis can be completed more quickly than if we had to do it from scratch? Defining analyses compositionally makes it easier to address this question, and we discuss a compositional framework for static analyses. We define several analyses within this framework, and we give experimental results showing the potential benefits of the approach.