Do you trust your compiler?

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

doi:10.1109/2.762804

Do you trust your compiler?

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

Research output: Contribution to specialist publication › Article

8 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 language	English (US)
Pages	65-69
Number of pages	5
Volume	32
No	5
Specialist publication	Computer
DOIs	https://doi.org/10.1109/2.762804
State	Published - 1999
Externally published	Yes

ASJC Scopus subject areas

General Computer Science

Access to Document

10.1109/2.762804

Cite this

@misc{4ed10a1d1e8d4e68a5f9900077dd1ac3,

title = "Do you trust your compiler?",

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.",

author = "Boyle, {James M.} and Resler, {R. D.} and Winter, {V. L.}",

note = "Funding Information: This work was supported by the US Department of Energy under Contract DE-AC04-94AL85000, and by the BMC3 directorate, Ballistic Missile Defense Organization, US Department of Defense.",

year = "1999",

doi = "10.1109/2.762804",

language = "English (US)",

volume = "32",

pages = "65--69",

journal = "Computer",