Towards the verifying compiler

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2757, Issue , 2003, Pages 151-160

  Hoare, Tony ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPUTING SCIENCE; MICROSOFT; PROGRAM DEVELOPMENT; PROGRAMMER PRODUCTIVITY; PROGRAMMING ERRORS; SOFTWARE DEVELOPER; TEST ORACLES; VERIFYING COMPILERS;

PROGRAM COMPILERS;

EID: 35248899561     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40007-3_10     Document Type: Article

References (0)