December 2011 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Wed Dec 28 12:54:57 PST 2011
Ending: Wed Dec 28 12:54:57 PST 2011
Messages: 1

• [bitc-dev] Link: Formalizing the LLVM Intermediate Representation for Verified Program Transformations   Constantine Plotnikov

Last message date: Wed Dec 28 12:54:57 PST 2011
Archived on: Thu Dec 29 05:52:07 PST 2011

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...