The verifying compiler: A grand challenge for computing research

Journal of the ACM

Volumn 50, Issue 1, 2003, Pages 63-69

  Hoare, Tony ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; FORMAL LANGUAGES; GENES; GRAVITY WAVES; INTERFACES (COMPUTER); LEGACY SYSTEMS; RISK MANAGEMENT; SOFTWARE ENGINEERING; THEOREM PROVING;

COMPLIERS; COMPUTING RESEARCH; LONG-TERM SYSTEMS;

COMPUTER SCIENCE;

EID: 1842473365     PISSN: 00045411     EISSN: None     Source Type: Journal    
DOI: 10.1145/602382.602403     Document Type: Article

References (4)

1. FLOYD. R. W. 1967. Assigning meanings to programs. Proc. Amer. Soc. Symp. Appl. Math. 19, 19-31.
2. GRAY, J. 2003. What next? A dozen information-technology research goals. JACM 50, 1 (Jan.), 41-57.
3. MCCARTHY, J. 1963. Towards a mathematical theory of computation. Proc. IFIP Cong. 1962. North-Holland, Amsterdam, The Netherlands.
4. TURING, A. M. 1949. Checking a large routine. Report on a Conference on High Speed Automatic Calculating Machines. Cambridge Univ. Math. Lab. 67-69.