The Verifying Compiler

[jon....@gmail.com]

Hi all,

After PL lunch last Friday, Wonseok and I were discussing Alan's work,
and I mentioned that it was related to the verifying compiler "grand
challenge". For those not familiar with the verifying compiler (I
know Robby mentioned this in a talk he gave about testing), here are
two citations:

* http://doi.acm.org/10.1145/602382.602403
* http://archives.cs.iastate.edu/documents/disk0/00/00/04/38/index.html

While not mentioned by name, "metaprogramming nirvana" plays a role in
the technical report's approach to meeting this challenge.

Enjoy.
-Jon