Verifying bit-manipulations of floating-point - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wonyeol Lee, Rahul Sharma 0001, Alex Aiken. Verifying bit-manipulations of floating-point. In Chandra Krintz, Emery Berger, editors, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016. pages 70-84, ACM, 2016. [doi]

This author has not been identified. Look up 'Wonyeol Lee' in GoogleThis author has not been identified. Look up 'Rahul Sharma 0001' in GoogleThis author has not been identified. Look up 'Alex Aiken' in Google

runs on WebDSL