Converting One Type-Based Abstract Domain to Another - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John P. Gallagher, Germán Puebla, Elvira Albert. Converting One Type-Based Abstract Domain to Another. In Patricia M. Hill, editor, Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers. Volume 3901 of Lecture Notes in Computer Science, pages 147-162, Springer, 2005. [doi]

This author has not been identified. It may be one of the following persons:

John P. Gallagher

Look up 'John P. Gallagher' in GoogleThis author has not been identified. Look up 'Germán Puebla' in GoogleThis author has not been identified. Look up 'Elvira Albert' in Google

runs on WebDSL