Deriving specialized program analyses for certifying component-client conformanceG. RamalingamAlex Warshavskyet al.2002PLDI 2002