Do you trust your compiler?

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

Research output: Contribution to specialist publicationArticle

6 Citations (Scopus)

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 - Dec 1 1999

Fingerprint

Specifications

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

Do you trust your compiler? / Boyle, James M.; Resler, R. D.; Winter, V. L.

In: Computer, Vol. 32, No. 5, 01.12.1999, p. 65-69.

Research output: Contribution to specialist publicationArticle

Boyle, JM, Resler, RD & Winter, VL 1999, 'Do you trust your compiler?' Computer, vol. 32, no. 5, pp. 65-69. https://doi.org/10.1109/2.762804
Boyle JM, Resler RD, Winter VL. Do you trust your compiler? Computer. 1999 Dec 1;32(5):65-69. https://doi.org/10.1109/2.762804
Boyle, James M. ; Resler, R. D. ; Winter, V. L. / Do you trust your compiler?. In: Computer. 1999 ; Vol. 32, No. 5. pp. 65-69.
@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.}",
year = "1999",
month = "12",
day = "1",
doi = "10.1109/2.762804",
language = "English (US)",
volume = "32",
pages = "65--69",
journal = "ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering",
issn = "0018-9162",
publisher = "IEEE Computer Society",

}

TY - GEN

T1 - Do you trust your compiler?

AU - Boyle, James M.

AU - Resler, R. D.

AU - Winter, V. L.

PY - 1999/12/1

Y1 - 1999/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0032635753&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0032635753&partnerID=8YFLogxK

U2 - 10.1109/2.762804

DO - 10.1109/2.762804

M3 - Article

AN - SCOPUS:0032635753

VL - 32

SP - 65

EP - 69

JO - ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

JF - ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

SN - 0018-9162

ER -