The Verifying Compiler

4 views
Skip to first unread message

jon....@gmail.com

unread,
Mar 17, 2009, 4:06:26 PM3/17/09
to Applied Language Technologies Group
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
Reply all
Reply to author
Forward
0 new messages