Searching for "The Verifying Compiler A Grand Challenge for Computing Research." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

The Verifying Compiler: A Grand Challenge for Computing Research
by Tony Hoare — 2003 — Journal of the ACM
…The Verifying Compiler: A Grand Challenge for Computing Research TONY HOARE Microsoft Research Ltd…
Cited by 48 (1 self) – Add To MetaCart

The Resolve Software Verification Vision
by Edited Jason, O. Hallstrom — 2007
… of the ACM 22, 5 (1979), 271-280. 2. Tony Hoare, The verifying compiler: a grand challenge for computing…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB