Certified Abstract Interpretation with Pretty-Big-Step Semantics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Bodin, Thomas Jensen, Alan Schmitt. Certified Abstract Interpretation with Pretty-Big-Step Semantics. In Xavier Leroy, Alwen Tiu, editors, Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015. pages 29-40, ACM, 2015. [doi]

This author has not been identified. Look up 'Martin Bodin' in GoogleThis author has not been identified. Look up 'Thomas Jensen' in GoogleThis author has not been identified. Look up 'Alan Schmitt' in Google

runs on WebDSL