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

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 52; no. 7; pp. 106 - 107
Autor principal:	Morrisett, Greg
Formato:	Artículo
Publicado:	Association for Computing Machinery Jul2009
Materias:	Compilers (Computer programs) Quality control Debugging Computer software Systems software Computer security
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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.