Paper

a Grand Challenge for Computing Research

Hoare, T. (2004, August). The Verifying Compiler: a Grand Challenge for Computing Research. High Confidence Software & Systems Conference, March. Retrieved 20 April 2005, from http://research.microsoft.com/~thoare/The_Verifying_Compiler.ppt.]]

2004

Created by ACM worker at 2019-04-14 14:14:55.0.
Last updated by ACM worker at 2019-04-15 16:43:50.0.
Simplified Graph of Associations
Word Cloud
Quid