Finer Is Better: Abstraction Refinement for Rewriting Approximations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko. Finer Is Better: Abstraction Refinement for Rewriting Approximations. In Andrei Voronkov, editor, Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings. Volume 5117 of Lecture Notes in Computer Science, pages 48-62, Springer, 2008. [doi]

This author has not been identified. Look up 'Yohan Boichut' in GoogleThis author has not been identified. Look up 'Roméo Courbis' in GoogleThis author has not been identified. Look up 'Pierre-Cyrille Héam' in GoogleThis author has not been identified. Look up 'Olga Kouchnarenko' in Google

runs on WebDSL