Certified Result Checking for Polyhedral Analysis of Bytecode Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin. Certified Result Checking for Polyhedral Analysis of Bytecode Programs. In Martin Wirsing, Martin Hofmann, Axel Rauschmayer, editors, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Volume 6084 of Lecture Notes in Computer Science, pages 253-267, Springer, 2010. [doi]

This author has not been identified. Look up 'Frédéric Besson' in GoogleThis author has not been identified. Look up 'Thomas P. Jensen' in GoogleThis author has not been identified. Look up 'David Pichardie' in GoogleThis author has not been identified. Look up 'Tiphaine Turpin' in Google

runs on WebDSL