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...
| Published in: | Communications of the ACM Vol. 52; no. 7; pp. 106 - 107 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Association for Computing Machinery
Jul2009
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=43019158&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 43019158 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Jul2009 vid: 52 iid: 7 pid: 68 pub: Association for Computing Machinery artinfo: ui: 43019158 10.1145/1538788.1538813 ppf: 106 ppct: 1 formats: tig: atl: Technical Perspective: A compiler's story. aug: au: Morrisett, Greg affil: Allen B. Cutting Professor of Computer Science and associate dean for Computer Science and Engineering, Harvard University. su: Compilers (Computer programs) Quality control Debugging Computer software Systems software Computer security sug: subj: Compilers (Computer programs) Quality control Debugging Computer software Systems software Computer security ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2009 holdings: @attributes: islocal: N |
|---|