Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

James M. Boyle, R. Daniel Resler, Victor L. Winter. Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. In 2nd High-Assurance Systems Engineering Workshop (HASE 97), August 11-12, 1997, Washington, DC, USA, Proceedings. pages 14, IEEE Computer Society, 1997. [doi]

Identified as James M. Boyle This author has not been identified. Look up 'R. Daniel Resler' in GoogleIdentified as Victor L. Winter

runs on WebDSL