Deriving Specialized Program Analyses for Certifying Component-Client Conformance - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ganesan Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv. Deriving Specialized Program Analyses for Certifying Component-Client Conformance. In PLDI. pages 83-94, 2002. [doi]

Identified as Ganesan Ramalingam This author has not been identified. Look up 'Alex Varshavsky' in GoogleIdentified as John Field This author has not been identified. Look up 'Deepak Goyal' in GoogleThis author has not been identified. Look up 'Shmuel Sagiv' in Google

runs on WebDSL