TITLE: Staging Static Analyses Using Abstraction-based
       Program Specialization 
AUTHORS: John Hatcliff, Matthew B. Dwyer, Shawn Laubach

Conventional partial evaluators specialize programs with respect to
concrete values, but programs can also be specialized with 
respect to abstractions of concrete values.  We present a novel method
for staging static analyses using abstraction-based program
specialization (ABPS).  Building on earlier work by Consel and Khoo
and Jones, we give an ABPS system that serves as a formal foundation
for a suite of analysis and verification tools that we are developing for 
Ada programs.

Our tool set makes use of existing verification packages. Currently
many programs must be hand-transformed before they can be submitted
to these packages.  We have determined that these hand-transformations
can be carried out automatically using ABPS.  Thus, preprocessing
programs using ABPS can significantly extend the applicability of
existing tools without modifying the tools themselves.