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
No.5
Specialist publicationComputer
DOIs
Publication statusPublished - Dec 1 1999

    Fingerprint

ASJC Scopus subject areas

  • Computer Science(all)

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