Cover Image
QR Code

Technical Perspective: A compiler's story.

The article discusses the means by which computer scientists verify that computer programs are without error, without bugs, proven correct, and formally verified. It references the article "Formal Verification of a Realistic Compiler," by Xavier Leroy in the same issue. Also discussed are computer c...

Full description

Published in:Communications of the ACM Vol. 52; no. 7; pp. 106 - 107
Main Author: Morrisett, Greg
Format: Article
Published: Association for Computing Machinery Jul2009
Subjects:
Compilers (Computer programs)
Quality control
Debugging
Computer software
Systems software
Computer security
Online Access:View this record in EBSCOhost
Summary:The article discusses the means by which computer scientists verify that computer programs are without error, without bugs, proven correct, and formally verified. It references the article "Formal Verification of a Realistic Compiler," by Xavier Leroy in the same issue. Also discussed are computer compilers and industry concerns with security and reliability.