Do you trust your compiler?

James M. Boyle, R. D. Resler, V. L. Winter

Research output: Contribution to specialist publicationArticle

6 Scopus citations

Abstract

Correctness-preserving transformations can guarantee that a program continues to do what it should when it is converted from specification to assembly code. Constructing a trusted compiler is one of many potential applications.

Original languageEnglish (US)
Pages65-69
Number of pages5
Volume32
No5
Specialist publicationComputer
DOIs
StatePublished - 1999

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Do you trust your compiler?'. Together they form a unique fingerprint.

  • Cite this

    Boyle, J. M., Resler, R. D., & Winter, V. L. (1999). Do you trust your compiler? Computer, 32(5), 65-69. https://doi.org/10.1109/2.762804